T10285.hs:8:17: error: [GHC-10283]
    • Could not deduce ‘Coercible a b’ arising from a use of ‘coerce’
      from the context: Coercible (N a) (N b)
        bound by a pattern with constructor:
                   Coercion :: forall {k} (a :: k) (b :: k).
                               Coercible a b =>
                               Coercion a b,
                 in an equation for ‘oops’
        at T10285.hs:8:6-13
      ‘a’ is a rigid type variable bound by
        the type signature for:
          oops :: forall a b. Coercion (N a) (N b) -> a -> b
        at T10285.hs:7:1-38
      ‘b’ is a rigid type variable bound by
        the type signature for:
          oops :: forall a b. Coercion (N a) (N b) -> a -> b
        at T10285.hs:7:1-38
    • In the expression: coerce
      In an equation for ‘oops’: oops Coercion = coerce
    • Relevant bindings include
        oops :: Coercion (N a) (N b) -> a -> b (bound at T10285.hs:8:1)