applyTypeToArgs :: Fresh m
                => HashMap TyConName TyCon
                -> Type
                -> [Either Term Type]
                -> m Type
applyTypeToArgs _ opTy []              = return opTy
applyTypeToArgs :: Fresh m
                => HashMap TyConName TyCon
                -> Type
                -> [Either Term Type]
                -> m Type
applyTypeToArgs _ opTy []              = return opTy
applyTypeToArgs _ opTy []              = return opTy