097b7fb3f8f90e87120d30bf37a1d89fe0ddfaf0Kristina Sojakovatype t : C -> C -> C
097b7fb3f8f90e87120d30bf37a1d89fe0ddfaf0Kristina Sojakovatype t : +C -> C -> C
8b054cade993ef373d564b2d74c9c5a2da48f8b7Kristina Sojakovatype t : C -> -C -> C
8b054cade993ef373d564b2d74c9c5a2da48f8b7Kristina Sojakovatype t : -C -> +C -> C
8b054cade993ef373d564b2d74c9c5a2da48f8b7Kristina Sojakovatype s : (+C -> C) -> C
51bbd37b3957f301b2628422e161aac2cbd46f1cKristina Sojakovatype s : (D -> D) -> D