var a : Type

type List a

op nil : List a

op head : List a -> a

op snoc : List a -> a --> List a

forall x : a

. snoc nil x = snoc nil x

. head nil x = x;

type

List : Type -> Type

var

a : Type %(var_1)%

op head : forall a : Type . List a -> a

op nil : forall a : Type . List a

op snoc : forall a : Type . List a -> a --> List a

forall a : Type; x : a . snoc nil x = snoc nil x

forall a : Type; x : a . head nil x = x

1.5: ### Hint: is type variable 'a'

5.21: ### Hint:

no kind found for 'a'

expected: {Cpo}

found: {Type}

5.21: ### Hint:

no kind found for 'a'

expected: {Cpo}

found: {Type}

6.9: ### Hint: not a class 'a'