Xia Li-yao

Thanks for the helpful answer! I can get by with a simple solution for the moment, but those references will certainly be useful.

I've been doing something like that. I didn't need to create a switch, just using the environment coming straight out of `.travis-ocaml.sh`, and handwriting the bare essential commands that would...

Also, having something of this type would cover most uses of `f_1` and `f_2`: ``` (Applicative fr, Applicative fw) => Codec fr fw a -> Codec fr fw b ->...

Oops. I didn't mean to close it.

`Codec' fr fw w r` is isomorphic to `Product get (ReaderT w put) r` (`Product` from [`Data.Functor.Product`](https://hackage.haskell.org/package/base-4.9.0.0/docs/Data-Functor-Product.html)) so I'm quite sure it is actually a monad. I'll think of more...

It seems pretty straightforward to get to a working state, but I have some minor concerns about packaging and the API around `Arbitrary`. The main and straightforward part is to...

The problem is with sums, that you don't know with what probability to go left or right. You can set that probability arbitrarily, but by definition that's going to be...

That can work, but it's actually even more involved. > Could you instead `Replace (->) (:->) (Rep a)` as the `Repr` I was imagining something even simpler, mapping `Repr` to...

Yeah that's definitely a problem. That's hard to fix because this is currently using `Show`, and an instance `Show a => Show (Int -> a)` gives no way of telling...

We might not catch this in regular builds but we can test this by inserting a debug assertion (enabled by `-DASSERTS` under the `-fdeveloper` cabal flag) to ensure that `writeCharBuf`...