System.GPIO
The MonadGpio class
GPIO in Linux