PID control using the PID monad -> Implements a PID controller for a satellite reaction wheel controller defined using a PID monad -> Code example of simple and cascaded PID controllers.