Data.Restricted
data Restricted l u v
class Restriction l u v
rvalue
data Nneg1
data N1
data N0
data N254
data Inf