Don't unify explicit lambda types

Fixes #734