MonadTransLaw
trait MonadTransLaw
class Object
trait Matchable
class Any
Value members
Concrete methods
def composition[G[_], A, B](ga: G[A], f: A => G[B])(implicit G: Monad[G], FB: Equal[F[G, B]]): Boolean
bind and then liftM is the same as liftM and then bind
bind and then liftM is the same as liftM and then bind