unify :: Parser.Pos -> Type -> Type -> TypeCheck

-- Divergences are subsumed by the expected type in order to continue
-- type-checking.
unify _ t TyDiverge = success t
unify :: Parser.Pos -> Type -> Type -> TypeCheck
unify _ t TyDiverge = success t
unify _ t TyDiverge = success t