%-

tydecl sex = Boy | Girl

(:def boy
  Boy : sex)

(:def main
  "Hello, World!")