contemporary type family

////