lots of simply type errors