A (in development) high performance data marshaling layer for haskell. Uses a
pair of parameterized monads to represent: Data marshalling actions with
static buffering requirements (EG: Needs no more than 100 bytes available to
succeed) ; Data marshalling actions that are a dynamic composition of actions
with static buffering requirements.