type instance MyFam ALongishType
  =  AMuchLongerTypeThanThat
  -> AnEvenLongerTypeThanTheLastOne
  -> ShouldDefinitelyOverflow