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