λ(nix : ../NixPrelude.dhall) →
  { Type = Natural
  , bitAnd = ./bitAnd.dhall nix
  , bitOr = ./bitOr.dhall nix
  , bitXor = ./bitXor.dhall nix
  , compare = ./compare.dhall
  , divide = ./divide.dhall nix
  , fromAny = ./fromAny.dhall nix
  , mod = ./mod.dhall nix
  , toBaseDigits = ./toBaseDigits.dhall nix
  , toHexString = ./toHexString.dhall nix
  }