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)%

op nil : forall a : Type . List a %(op)%

op snoc : forall a : Type . List a -> a --> List a %(op)%

var

x : a

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

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

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

### Hint 6.9, not a class 'a'