Pay: RecursiveType<Type<Pay<unknown>, Pay<unknown>, unknown>, Pay<unknown>, Pay<unknown>, unknown> = ...