--- /dev/null
+@macro\r
+@inline\r
+($) :: (a -> <e> b) -> a -> <e> b\r
+f $ x = f x\r
+\r
+justExecute :: (() -> a) -> a\r
+justExecute f = f ()\r
+\r
+main :: Integer\r
+main = justExecute $ \() -> (13 :: Integer)\r
+--\r
+13
\ No newline at end of file