type checking experiments.