class Cpo

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 < Type

class

Cppo < Cpo

types

__-->__ : -Cpo -> +Cpo -> Cpo;

__-->__ : -Cpo -> +Cppo -> Cppo

var

c : Cppo %(var_1)%

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

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