Simon Meskens

Fair warning: there's still a few edge case bugs in that sample, it's still very early POC. ```ts const arrayFunctor: StaticFunctor = { map: (fn: (a: A) => B, fa:...

Sorry for the slight spam, but I know people read these issues through email, the issue was with covariance, it's fixed now. Note that this also works in 3.4.3 (needed...

I'm not sure what issue you refer to, there's several that were mentioned in this issue. I originally assumed this new technique would only work in 3.5, due to a...

I've been looking at it and it's in some ways a massive improvement over the previous methods, but it doesn't seem to fix the one big problem in that it...

Yeah, I have a bunch of different versions, it wasn't meant to be the definitive example yet. For now, I'm just testing out a bunch of things, like this: ```ts...

Yeah, your example and looking at Haskell's libraries gave me the right idea. I think I know how to do it too. I've already changed the TypeProps library to be...

The problem with storing a TypeProp anywhere is that I'm currently blocked by a few restrictions in TypeScript, making it so only the global type dictionary works. The issue is...

that's interesting and in line with some of what I'm doing, but Tuple2 is not enough, since we're dealing with dynamic Tuples of any length. Off the top of my...

Yeah, I found an implementation for Merge, using exactly that. You are correct that the placeholders still force the order to be left to right, I'll have to add a...

Turns out if you don't need ordering, all the complex code goes away, go figure. Ah well, was a fun night of work. ```TypeScript const Placeholder: { readonly 0: unique...