Type.Data.Num.Decimal.Digit

data Singleton d

singleton

class C d

class Pos d

data Dec0

data Dec1

data Dec2

data Dec3

data Dec4

data Dec5

data Dec6

data Dec7

data Dec8

data Dec9

reify

reifyPos

type family ToUnary n