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