type K* = object