Phantom types and subtyping