%% Classes ---------------------------------------------------------------

a

b

c

d

%% Type Constructors -----------------------------------------------------

List : a -> b

[__] : a -> b

m : (a -> b) -> c

nt : a -> (b -> c) -> c -> d %(var)%

r : Type

r1 : Type < t

r2 : Type < (t2, r2, s2)

s : Type

s1 : Type < t

s2 : Type < (t2, r2, s2)

s3 : Type

t : Type

t1 : Type < t

t2 : Type < (t2, r2, s2)

tuple1 : b -> a

tuple3 : a -> b -> c -> d

{__} : a -> b

%% Assumptions -----------------------------------------------------------

o1 : m %(var)%

o2 : (m)(tuple1) %(var)%

o3 : (m)(tuple3) %(var)%

o4 : (((nt)(r))(List))(s) %(var)%

u : ([__])(r) %(var)%

v : (m)(List) %(var)%

: ({__})(s) %(var)%

x : (((tuple3)(r))(s))(t) %(var)%

y : ((tuple3)(r))(s) %(var)%

%% Diagnostics -----------------------------------------------------------

Hint (line 7, column 9) not a class '[r]'

Hint (line 7, column 16) not a class '{s}'

Hint (line 11, column 9) not a class 'tuple3 r s t'

Hint (line 12, column 9) not a class 'tuple3 r s'

Error (line 12, column 9) incompatible kind of: ((tuple3)(r))(s)

expected: Type -> Type

found: Type

Hint (line 18, column 9) not a class 'm [__]'

Error (line 18, column 12) unknown type '__'

Hint (line 22, column 9) no kind 'm List'

Hint (line 24, column 10) not a class 'm'

Error (line 24, column 10) incompatible kind of: m

expected: (Type -> Type) -> Type

found: Type

Hint (line 26, column 10) no kind 'm tuple1'

Hint (line 28, column 10) no kind 'm tuple3'

Error (line 28, column 12) incompatible kind of: tuple3

expected: Type -> Type

found: Type -> Type -> Type -> Type

Hint (line 32, column 10) not a class 'nt r List s'

Error (line 38, column 19) unexpected mixfix token '='