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