class Cpo

class Cppo < Cpo

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

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

var c : Cppo

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

var

c : Cppo %(var_1)%

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

1.7-1.9: ### Warning: unchanged class 'Cpo'

3.7-3.10: ### Warning: unchanged class 'Cppo'

5.15-5.21: ### Hint: redeclared type '__-->__'

6.15-6.21: ### Hint: redeclared type '__-->__'

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