- BlackBox:
    name: GHC.TypeNats.natVal
    kind: Expression
    type: 'natVal :: forall
      n proxy. KnownNat n => proxy n -> Natural'
    template: ~ARG[0]
    workInfo: Never
- Primitive:
    name: GHC.TypeNats.someNatVal
    primType: Functions
    type: 'someNatVal :: Natural -> SomeNat'
    workInfo: Never