YCombinator.hascasl revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
565N/Aclass Cpo
565N/A
565N/Aclass Cppo < Cpo
565N/A
565N/Atype instance __-->__ : -Cpo -> +Cpo -> Cpo
565N/Atype instance __-->__ : -Cpo -> +Cppo -> Cppo
565N/A
565N/Avar c : Cppo
565N/A
565N/Afun Y : (c --> c) --> c
565N/A