This is a fairly minor point, but maybe a different name would help here since `recursive-contract` is already a binding in `racket/contract`. I was initially confused why `recursive-contract` was showing up in `type->static-contract`.