class Cpo < Type;

class Cppo < Cpo;

type instance __-->__ : -Cpo -> +Cpo -> Cpo

type instance __-->__ : -Cpo -> +Cppo -> Cppo

var c : Cppo

fun Y : (c --> c) --> c

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

Cpo < Type

Cppo < Cpo

%% Type Variables --------------------------------------------------------

c : Cppo %(var_1)%

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

Y : forall c : Cppo . (c --> c) --> c %(fun)%

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

### Hint 8.5, is type variable 'c'