Data.Reflection
class Reifies s a
reify
reifyNat
reifySymbol
reifyTypeable
class Given a
give
int
nat
data Z
data D n
data SD n
data PD n