add Control.Monad.Loops to Context