simple = h <$> (f $ g $ h t)

simple = h <$> (f :+ g :+ h t)

simple = h <$> (f `elem` h `elem` h)