Show type errors even when not showing types.

We can currently get type errors by creating a recursion and add/remove parameters