Mistyped type experiment