Module

Test.Abides.Control.Plus

#leftIdentity

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

#rightIdentity

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

Modules