Nathan Faubion

It would be helpful to document all libraries in core that use `null` (I think there's still List?). And I think we should at minimum solicit community feedback via discourse.

> append We already have `append` in Semigroupoid, and it isn't the same thing. I do not think it's worth changing at that fundamental of a level. I'll note that...

For some background, look around for "ListT done right". http://h2.jaguarpaw.co.uk/posts/listt-done-wrong/ https://wiki.haskell.org/ListT_done_right In particular `m (List a)` does not satisfy Monad laws for all Monads `m`.

I don't have a clear memory of why. That PR was mainly about tweaking stuff in such a way to get the compiler to generate optimal code. It's possible that...

Probably https://github.com/purescript/purescript/issues/3874 I don't know if it's generalization so much as `Nil` is an identifier with a known type so it just accepts it's type as-is (lazy instantiation).

> Not sure if this helps you, but [yoga-json](https://github.com/rowtype-yoga/purescript-yoga-json) is able to parse BigInt by passing a reviver function to JSON.parse. Reviver functions don’t help here because it’s already a...

I don't think so. Number values are `Double` which are IEEE floats, same as JS, so there's no precision issue.

Oops! You're right, I missed the outer `[ ... ]`. I've updated it to be `NonEmpty`. Edit: Doh! That's not right either. I'll refactor this, but I think the idea...

I've reverted the change to `caseAlternativeResult`. CoreFn is a bit off in general in that it allows empty lists where there shouldn't be, so I think just changing `Guard` is...

```purescript -- `i` will be determined when `x` is concrete type F :: forall i . Row i -> Row i type F x = () type Z :: forall...