ClassKinds.hascasl revision 4b4878eecbc17323118d252d64df72faf21cd5ba
class C, D
type t : C -> C -> C
type t : +C -> C -> C
type t : C -> -C -> C
type t : -C -> +C -> C
type s : (+C -> C) -> C
type s : (D -> D) -> D