type-experiment