more experiments with types