Control.Monad provisional?