Patching a types mix up