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