let JSON = (../../lib/prelude.dhall).JSON

in  ./generic.dhall
      Natural
      (λ(n : Natural) → JSON.number (Integer/toDouble (Natural/toInteger n)))