Data.HList.TypeCastGeneric2

class TypeCast a b

class TypeCast' t a b

class TypeCast'' t a b