:: Monad m => (m (m a)) -> m a -package:brittany -package:intro is:exact -package:composition-prelude -package:turtle package:stack