only four type errors