Gustavo Leon

### Description Based on the original proposal in Haskell: https://wiki.haskell.org/MonadPlus_reform_proposal But taking into account in Haskell it could be tricky, whereas here it seems to be simpler. Actually we don'...

Make split function bigeneric

2

Our ``split`` function has currently the following signature: ``` split (sep: seq ``` This is still type inference friendly, in the sense that the first and the last parameter are...

Use struct Tuples

9

- New overloads for struct tuples can be added. - They can also be used internally since they offer better performance in some scenarios. In principle it looks like it...

After a short but interesting discussion with @eiriktsarpalis I thought it might be interesting to add a ``Bind`` implementation for ``Expr

This function was introduced in bd7124e but its usage was immediately removed in a4154bb however the function is still there for nothing.

These tests were catching all exceptions, even the interesting ones. Try changing `require (not ran) "ran kinda early"` to `require (ran) "ran kinda early"` and you'll see the test still...

Recursive trait calls not working

5

### Description It seems a stack overflow happens internally in presence of recursive (but finite) trait calls. ### Repro code ```fs open System type Id x #endif module Constraints =...

Move to FsProjects

4

Since Jet doesn't seem to be using Falanx, it would be interesting to move this project to FsProjects so people who's interested can maintain it. I spoke with original maintainers...

I'm surprised there seems to be currently no plans to make this project Fable compatible. I know it might be impossible to run the whole project in Fable but I'm...

Option to erase SRTP constraints

13

I propose we add a way to "erase" SRTP constraint for cases where the sum of all constraints results in "the whole universe of types", or when the constraint is...