1simple = h <$> (f $ g $ h t) 2 3simple = h <$> (f :+ g :+ h t) 4 5simple = h <$> (f `elem` h `elem` h) 6