module exampleAllNames where

data Gender : Set where
  female : Gender
  male   : Gender


data FemaleName : Set where 
  jill  : FemaleName
  sara  : FemaleName

data MaleName : Set where
  tom  : MaleName
  jim  : MaleName

Name : Gender -> Set
Name female = FemaleName
Name male   = MaleName


record NameWithGender : Set where
  field
    gender : Gender
    name   : Name gender