What does it take to implement signatures to the library? TS

[EstebanMarin]

We could add a dependency like fp-ts. If you like, you can setup the initial signatures (to be my guide), and then I can continue with the heavy lifting and sign the rest of the functions.
Let me know, keen on helping.

[MeetMartin]

Hi Esteban. What is your relationship to the fp-ts projects? It looks interesting on a first look but creating direct dependency would mean that someone trying to understand conditional-expression would also need to understand the monadic types of pf-ts. It might be a better idea to fork conditional-expression and provide fp-ts alternative. Either way, I will give it some more thought.