ClassKinds.hascasl revision 4b4878eecbc17323118d252d64df72faf21cd5ba
5562N/Aclass C, D
5562N/A
5562N/Atype t : C -> C -> C
5562N/Atype t : +C -> C -> C
5562N/Atype t : C -> -C -> C
5562N/Atype t : -C -> +C -> C
5562N/A
5562N/Atype s : (+C -> C) -> C
5562N/Atype s : (D -> D) -> D
5562N/A