Typing: Made better cannot unify error message