[Haskell-cafe] ambiguous type variable question

Tom Ellis tom-lists-haskell-cafe-2023 at jaguarpaw.co.uk
Wed Oct 11 13:07:54 UTC 2023

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’


    type C = 'ContentRaw :: Content Nat Symbol Bool

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


More information about the Haskell-Cafe mailing list