module BlockParamSplit
  type pair[T, S] = [T, S]
end