1class Foo f where 2 (<^>) :: Applicative f => f a -> f (a -> b) -> f b 3 infixr 4 <^> 4 5foo = pure 1 <^> pure 2 <^> pure (+) 6