Using consistent-subtyping to check return