T15362.hs:7:2: error:
    • Mismatched type name in type family instance.
        Expected: +
          Actual: Maybe
    • In the type family declaration for ‘+’