Test.Abides.Control.Monad

leftIdentity :: forall b a m. Monad m => Eq (m b) => (a -> m b) -> a -> Boolean

rightIdentity :: forall a m. Monad m => Eq (m a) => m a -> Boolean

associative :: forall c b a m. Monad m => Eq (m c) => (a -> m b) -> (b -> m c) -> m a -> Boolean