Document modules.
Fuzz test roundtrip conversions between C & Haskell datastructures!
Constrain public API.