Ran into wanting this because I guess Persistent wants a `Read` instance if you incorporate something into a primary key. ```hs instance (KnownNat a, KnownNat b, a <= b) => Read (Closed a b) where readPrec = maybe pfail pure . closed =<< readPrec @Integer ```
Ran into wanting this because I guess Persistent wants a
Readinstance if you incorporate something into a primary key.