addKinds :: [(Name, Kind)] -> Env -> Env
addKinds ks e@(Env {kinds}) = e{kinds = ks}
addKinds :: [(Name, Kind)] -> Env -> Env
addKinds ks e@(Env {kinds}) = e{kinds = ks}
addKinds ks e@(Env {kinds}) = e{kinds = ks}