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