03831d35f7499c87d51205817c93e9a8d42c4baestevelclasses a, b, c, d

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes r : a;

03831d35f7499c87d51205817c93e9a8d42c4baestevel s : a;

03831d35f7499c87d51205817c93e9a8d42c4baestevel s : b;

03831d35f7499c87d51205817c93e9a8d42c4baestevel t : c

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes [__], {__} : a -> b

03831d35f7499c87d51205817c93e9a8d42c4baestevelvars u : [ r ]; v : { s }

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

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar x : tuple3 r s t

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar y : tuple3 r s

03831d35f7499c87d51205817c93e9a8d42c4baesteveltype tuple1 : b -> a

03831d35f7499c87d51205817c93e9a8d42c4baesteveltype m : (a -> b) -> c

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar z : m [__]

03831d35f7499c87d51205817c93e9a8d42c4baesteveltype List : a -> b

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar w : m List

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar o1 : m

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar o2 : m tuple1

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar o3 : m tuple3

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar nt : a -> (b -> c) -> c -> d

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar o4 : nt r List s

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes s1, r1, t1 < t

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes s2 = r2 = t2

03831d35f7499c87d51205817c93e9a8d42c4baesteveltype s3 = {x : t . x = x}

03831d35f7499c87d51205817c93e9a8d42c4baestevelclasses

03831d35f7499c87d51205817c93e9a8d42c4baestevela < Type;

03831d35f7499c87d51205817c93e9a8d42c4baestevelb < Type;

03831d35f7499c87d51205817c93e9a8d42c4baestevelc < Type;

03831d35f7499c87d51205817c93e9a8d42c4baesteveld < Type

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes

03831d35f7499c87d51205817c93e9a8d42c4baestevelList : a -> b;

03831d35f7499c87d51205817c93e9a8d42c4baestevel[__] : a -> b;

03831d35f7499c87d51205817c93e9a8d42c4baestevelm : (a -> b) -> c;

03831d35f7499c87d51205817c93e9a8d42c4baestevelr : a;

03831d35f7499c87d51205817c93e9a8d42c4baestevelr1 : c;

03831d35f7499c87d51205817c93e9a8d42c4baestevelr2 : Type;

03831d35f7499c87d51205817c93e9a8d42c4baestevels : a;

03831d35f7499c87d51205817c93e9a8d42c4baestevels : b;

03831d35f7499c87d51205817c93e9a8d42c4baestevels1 : c;

03831d35f7499c87d51205817c93e9a8d42c4baestevels2 : Type;

03831d35f7499c87d51205817c93e9a8d42c4baestevels3 : Type;

03831d35f7499c87d51205817c93e9a8d42c4baestevelt : c;

03831d35f7499c87d51205817c93e9a8d42c4baestevelt1 : c;

03831d35f7499c87d51205817c93e9a8d42c4baestevelt2 : Type;

03831d35f7499c87d51205817c93e9a8d42c4baesteveltuple1 : b -> a;

03831d35f7499c87d51205817c93e9a8d42c4baesteveltuple3 : a -> b -> c -> d;

03831d35f7499c87d51205817c93e9a8d42c4baestevel{__} : a -> b

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes

03831d35f7499c87d51205817c93e9a8d42c4baestevelr1 < t;

03831d35f7499c87d51205817c93e9a8d42c4baestevels1 < t;

03831d35f7499c87d51205817c93e9a8d42c4baestevels3 < t;

03831d35f7499c87d51205817c93e9a8d42c4baestevelt1 < t

03831d35f7499c87d51205817c93e9a8d42c4baesteveltypes

03831d35f7499c87d51205817c93e9a8d42c4baestevelr2 := t2;

03831d35f7499c87d51205817c93e9a8d42c4baestevels2 := t2

03831d35f7499c87d51205817c93e9a8d42c4baestevelvar

03831d35f7499c87d51205817c93e9a8d42c4baestevelnt : a -> (b -> c) -> c -> d %(var_1)%

03831d35f7499c87d51205817c93e9a8d42c4baestevelvars

03831d35f7499c87d51205817c93e9a8d42c4baestevelo1 : m;

03831d35f7499c87d51205817c93e9a8d42c4baestevelo2 : m tuple1;

03831d35f7499c87d51205817c93e9a8d42c4baestevelo3 : m tuple3;

03831d35f7499c87d51205817c93e9a8d42c4baestevelo4 : nt r List s;

03831d35f7499c87d51205817c93e9a8d42c4baestevelu : [ r ];

03831d35f7499c87d51205817c93e9a8d42c4baestevelv : { s };

03831d35f7499c87d51205817c93e9a8d42c4baestevelw : m List;

03831d35f7499c87d51205817c93e9a8d42c4baestevelx : tuple3 r s t;

03831d35f7499c87d51205817c93e9a8d42c4baestevely : tuple3 r s;

03831d35f7499c87d51205817c93e9a8d42c4baestevelz : m [__]

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 7.6, not a kind '[r]'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 7.8-7.10, a non-compound list: [r]

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 7.14, not a kind '{s}'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 11.7, not a kind 'tuple3 r s t'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 12.7, not a kind 'tuple3 r s'

03831d35f7499c87d51205817c93e9a8d42c4baestevel*** Error 12.9-12.18,

03831d35f7499c87d51205817c93e9a8d42c4baestevelno kind found for 'tuple3 r s'

03831d35f7499c87d51205817c93e9a8d42c4baestevel expected: {Type}

03831d35f7499c87d51205817c93e9a8d42c4baestevel found: {c -> d}

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 18.7, not a kind 'm [__]'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 18.11-18.14, a non-compound list: [__]

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 22.7, not a kind 'm List'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 24.8, not a class 'm'

03831d35f7499c87d51205817c93e9a8d42c4baestevel*** Error 24.10,

03831d35f7499c87d51205817c93e9a8d42c4baestevelno kind found for 'm'

03831d35f7499c87d51205817c93e9a8d42c4baestevel expected: {Type}

03831d35f7499c87d51205817c93e9a8d42c4baestevel found: {(a -> b) -> c}

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 26.8, not a kind 'm tuple1'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 26.12,

03831d35f7499c87d51205817c93e9a8d42c4baestevelno kind found for 'tuple1'

03831d35f7499c87d51205817c93e9a8d42c4baestevel expected: {a -> b}

03831d35f7499c87d51205817c93e9a8d42c4baestevel found: {b -> a}

03831d35f7499c87d51205817c93e9a8d42c4baestevel*** Error 26.10-26.12, no kind found for 'm tuple1'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 28.8, not a kind 'm tuple3'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 28.12,

03831d35f7499c87d51205817c93e9a8d42c4baestevelno kind found for 'tuple3'

03831d35f7499c87d51205817c93e9a8d42c4baestevel expected: {a -> b}

03831d35f7499c87d51205817c93e9a8d42c4baestevel found: {a -> b -> c -> d}

03831d35f7499c87d51205817c93e9a8d42c4baestevel*** Error 28.10-28.12, no kind found for 'm tuple3'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 30.5, is type variable 'nt'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 32.8, not a kind 'nt r List s'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 32.15,

03831d35f7499c87d51205817c93e9a8d42c4baestevelno kind found for 'List'

03831d35f7499c87d51205817c93e9a8d42c4baestevel expected: {b -> c}

03831d35f7499c87d51205817c93e9a8d42c4baestevel found: {a -> b}

03831d35f7499c87d51205817c93e9a8d42c4baestevel*** Error 32.10-32.20, no kind found for 'nt r List s'

03831d35f7499c87d51205817c93e9a8d42c4baestevel### Hint 38.12, rebound variable 'x'

03831d35f7499c87d51205817c93e9a8d42c4baestevel