Of course, it doesn't solve anything, but.. {-# LANGUAGE PostfixOperators #-} import Control.Applicative (%%) :: Applicative f => a -> f a (%%) = pure go :: IO Int go = (12 %%) main = do num <- (12 %%) print num