David wanted a separate type