More Type Experiments

by Philipp Antoni