Add Control.Monad.Ideal
Add Control.Monad.Ideal.Free