%-

tydecl sex = Boy | Girl

(:def boy   
  NonBinary : sex)