%-

tydecl sex = Boy | Girl

(:def boy   
  Boy : gender)