Fix type signature of starK