Data.HList.TypeCastGeneric2
class
TypeCast
a b
class
TypeCast'
t a b
class
TypeCast''
t a b