> Alex

here is what I tried:

(%%):: Applicative f => a -> f a

(%%) = pure

test::Int -> IO Int

test i0 = (%%) $ i0 + (2::Int)

seems to work..

I can't get %% to work without ()