recordInferKindRules :: RecordInferKindContext e w s r m ki ty a
                     => InferKindInput e w s r m ki ty a
recordInferKindRules =
  InferKindInput
    [InferKindRecurse inferTyRecord]
recordInferKindRules :: RecordInferKindContext e w s r m ki ty a
                     => InferKindInput e w s r m ki ty a
recordInferKindRules =
  InferKindInput
    [InferKindRecurse inferTyRecord]
recordInferKindRules =
  InferKindInput
    [InferKindRecurse inferTyRecord]