Data.Metrology.Z
data Z
type SZ z
type family Equals_1627415457 a b :: Bool
zToInt
type family Succ z :: Z
type family Pred z :: Z
type family a #+ b :: Z
type family a #- b :: Z
type family a #* b :: Z
type family NegZ z :: Z
type family a #/ b :: Z
type family ZDiv counter n z :: Z
type family a < b :: Bool
type One
type Two
type Three
type Four
type Five
type MOne
type MTwo
type MThree
type MFour
type MFive
pZero
pOne
pTwo
pThree
pFour
pFive
pMOne
pMTwo
pMThree
pMFour
pMFive
pSucc
pPred
szToInt