@macro
@inline
($) :: (a -> <e> b) -> a -> <e> b
f $ x = f x

justExecute :: (() -> a) -> a
justExecute f = f ()

main :: Integer
main = justExecute $ \() -> (13 :: Integer)
--
13