Re: [Haskell-cafe] ambiguous type variable question

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