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

TODO: Comment