iko

Actually, some of the builds errored because I used the new `ConduitT`, which is not available in the older versions. **UPD:** I now fixed it and builds are failing only...

IMO the main problem is that the raw stream produces invalid characters (as some of the data is not text at all). So, the stream is mostly useless unless you...

Actually, it looks like the streaming API suffers from the same problem

looks like it's a length-encoded string (did dive into the javascript yet, might be wrong)

> The typeclass idea is nice but we still need some way of normalizing a data type to a tree of Eithers and () at the type-level. What are your...

Although, I think I was operating under the assumption that ```haskell Normalize x ~ FromNat (Count x)) ``` , which is not true strictly speaking. The "normalization" I am proposing...

Did you push this branch? It's not immediately obvious to me why a `Dimension` typeclass is necessary and what it is.

To be honest, I don't remember the whole picture I had in my head when I opened this issue. I'm now trying to untangle it myself. ```haskell instance (Dimension a...

I was trying to implement indexing a while back and this might be relevant: ```haskell class NatIndex dir max | dir -> max where natIndex :: Natural 0 max ->...

Admittedly this is slightly ugly, but this works (compiles). ```haskell injectNat :: (c Natural c d injectNat = coerce addNat :: Natural a b -> Natural c d -> Natural...