ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : C -> C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : +C -> C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : C -> -C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype t : -C -> +C -> C
ab3ca4cacfada3a19ab024db7ad567b82fa1517dChristian Maedertype s : (+C -> C) -> C
4b4878eecbc17323118d252d64df72faf21cd5baChristian Maedertype s : (D -> D) -> D