:: Monad m => (m (m a)) -> m a -package:numhask package:composition-prelude

Infix version of join As an example, one could use this to rewrite
between (char '"') (char '"')
to
between .$ (char '"')
Or
fromEither :: Either a a -> a
fromEither = either id id
to
fromEither :: Either a a -> a
fromEither = either .$ id