_                              `isTypeCompatible` _                            = False
_                              `isTypeCompatible` _                            = False
_                              `isTypeCompatible` _                            = False