(TypeVariable _)              `isTypeCompatible` _                             = True
(TypeVariable _)              `isTypeCompatible` _                             = True
(TypeVariable _)              `isTypeCompatible` _                             = True