-- this is a comment
-- definitions take the form `def name type body .`
@def t1 ('a -> 'a Int) 2 3 + 4 *.

-- the top-level is defined as main and should have the type [] -> []
@def main ([] -> []) t1 print.