:: Monad m => (m (m a)) -> m a -package:llvm-hs-pure -package:can-i-haz -package:universum package:stack