It'd be nice if type errors caused the compiler to issue a type error