TensorMatchingExt added supporting multiple HKTs formuation