but would need to ban subtyping