MHask.Util

Documentation

type (~>) m n = forall x. m x -> n x

(~>) :: (Monad a, Monad b, Monad c) => (a ~> b) -> (b ~> c) -> a ~> c