Stage2: Create the D0 and H0 data elements that will be used later. Define utility classes, some classes defined here can not be fleshed out until Stage3.
This multiple-stage implementation is necessitated by the way Template Haskell is implemented in GHC.
|tLSN :: LSN a d a' => a -> (d, a')|
|tNSL :: LSN a d a' => a' -> d -> a|
|class LSN (D0 a) H0 a => Ext0 a|
|class LSN (DF a) HF a => ExtF a|
|class TOdd a b'|
|Produced by Haddock version 0.8|