_Experimental._ Generically derive CBLen type family instances.

A type having a valid CBLen instance usually indicates one of the following:

• it's a primitive, or extremely simple
• it holds size information in its type
• it's constructed from other constant byte length types

The first two cases must be handled manually. The third case is where Haskell generics excel, and the one this module targets.

You can (attempt to) derive a CBLen type family instance generically for a type via

instance BLen a where type CBLen a = CBLenGeneric w a

As with deriving BLen generically, you must provide the type used to store the sum tag for sum types.

Then try using it. Hopefully it works, or you get a useful type error. If not, sorry. I don't have much faith in this code.