YCombinator.hascasl revision bf089e1d4db3bf389ac1a352f4242e82c8f2b3c2
12b42c76672a66c2d4ea7212c14f8f1b5a62b78dTom Gundersenclass Cppo < Cpo
f9378423b9758861850748aeb49ae0d3300e56e6Lennart Poetteringtype instance __-->__ : -Cpo -> +Cpo -> Cpo
f9378423b9758861850748aeb49ae0d3300e56e6Lennart Poetteringtype instance __-->__ : -Cpo -> +Cppo -> Cppo
f9378423b9758861850748aeb49ae0d3300e56e6Lennart Poetteringfun Y : (c --> c) --> c