Data.Singletons.TypeLits

data Nat

data Symbol

type SNat x

type SSymbol x

withKnownNat

withKnownSymbol

type family Error str :: k

data ErrorSym0 t1

sError

class KnownNat n

natVal

class KnownSymbol n

symbolVal

type x :+ y

type x :- y

type x :* y

type x :^ y

data (:+$) l

data l :+$$ l

data (:-$) l

data l :-$$ l

data (:*$) l

data l :*$$ l

data (:^$) l

data l :^$$ l