YCombinator.hascasl revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
class Cpo
class Cppo < Cpo
type instance __-->__ : -Cpo -> +Cpo -> Cpo
type instance __-->__ : -Cpo -> +Cppo -> Cppo
var c : Cppo
fun Y : (c --> c) --> c