[Haskell-cafe] ambiguous type variable question

[Tom Ellis]

On Wed, Oct 11, 2023 at 10:23:31AM +0000, Zoran Bošnjak wrote:
> I am including the instances. The error is:
> 
>     • Couldn't match expected type: SchemaVal G1
>                   with actual type: SchemaVal G2
>       NB: ‘SchemaVal’ is a non-injective type family
>       The type variables ‘b3’, ‘b2’ are ambiguous
>     • In the second argument of ‘(/=)’, namely ‘schema @G2’

Try:

    type C = 'ContentRaw :: Content Nat Symbol Bool

If that doesn't work I'll have a look later.

Tom