unify :: Env -> Env
unify env =
    let fis = collectFieldInfos env
        dups = findDups fis
        unified = uni dups
    in if V.null unified
        then env
        else addTypesEnv env unified
unify :: Env -> Env
unify env =
    let fis = collectFieldInfos env
        dups = findDups fis
        unified = uni dups
    in if V.null unified
        then env
        else addTypesEnv env unified
unify env =
    let fis = collectFieldInfos env
        dups = findDups fis
        unified = uni dups
    in if V.null unified
        then env
        else addTypesEnv env unified