Pair, union and option types.