experiments with type and code