T11623.hs:5:23: error:
    Mismatched type name in type family instance.
      Expected: T
        Actual: Maybe
    In the declaration for type family ‘T’