apply' :: (Monad' m) => m a -> m (a -> b) -> m b

-- bind' :: (a - mb) -> ma -> mb
-- (\f -> fmap'' f ma)
-- apply' = bind' . flip fmap''
apply' ma = bind' $ flip fmap' ma
apply' :: (Monad' m) => m a -> m (a -> b) -> m b
apply' ma = bind' $ flip fmap' ma
apply' ma = bind' $ flip fmap' ma