4 ms·(>>=) :: M a -> (a -> M b) -> M b The `a` is bound in the second argument.by tel 11y ago(>>=) :: M a -> (a -> M b) -> M b The `a` is bound in the second argument.