york-lava-0.2: A library for digital circuit description.
Modest library for statically-typed sized vectors, inspired by Oleg
Kiselyov's "Number-Parameterized Types", The Monad.Reader, Issue 5.
Type synonyms N0 to N255 exported along with zero (Z) and
successor (S). Values n0 to n255 with types N0 to N255 are