hls-tactics-plugin-1.1.0.0: test/golden/FmapJoinInLet.hs

{-# LANGUAGE ScopedTypeVariables #-}

fJoin :: forall f m a. (Monad m, Monad f) => f (m (m a)) -> f (m a)
fJoin =  let f = (_ :: m (m a) -> m a) in fmap f