%-

tydecl sex = Boy | Girl

tydecl sex = Boy | Girl | NonBinary