liftK -> transK + crufty wip, oops