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