✓ Applicative.hs