Sat May 26 09:04:57 EDT 2018

Is it necessary to model wide signals?

It seems the metalanguage is enough.  Generated HDL can be "flat".
Likely, the compiler will pick up the pieces.

It would be nice to be able to embed signal types in Haskell types,
but it seems more trouble than it's worth.

Overall it seems too much trouble to use lists of bits.  Use sized
integers instead.  This is a compiler, so there is the extra
compile-time function evaluation to resolve these issues.