previous | top | next |

The types (A->A), (B->(A->B)), ((B->C)->((A->B)->(A->C))) and ((A->(B->C))->(B->(A->C))) These pictures are not entirely satisfying. These are not randomly chosen types, they are somewhat interesting types. However, the pictures are difficult to read.