Type Experiments