type examples
PairT, FunT --> :*, :=>