pakoito
object ${hk.markerName} : arrow.Witness<${hk.kindName}<${hk.tparams.joinToString { "*" }}>>()