<>

Hi everyone, Nice to see some good propositions like this one. Here are my two cents on the issues from briancavalier's first post: 1. Maybe we shouldn't be so obsessed...

I get that. What I was saying is that an object can be defined by functions that use the `this` argument but don't rely on the data they receive to...

One thing that you should consider is that you cannot have a _generic_ converter from static-land-style type representative to a bind-compatible one, while you can have the reverse.

Actually monad transformers are even simpler to implement with type representatives: Type representatives allow you to change the type of a given value without wrapping it in a container and...

Thanks for writing this, you are right about the diagrams and your suggestion looks good as well (don't be ashamed), although I am not sure I can use it as...

You are right, shouldn't have closed #7, leaving this opened until I sort it out.

Haha, well to my defense this was written before 2015. What are some examples of writers with one published book?

Do you want me to submit a PR for this?

Yup, Bumped to this the first 15 minutes after trying to add types to existing JS codebase. I am not switching to TS until I see it. CanI help, actually?

Probably a tough decision, but definitely a correct one. Doesn't Typescript support Sum types natively? In [Flow](https://flow.org/blog/2015/07/03/Disjoint-Unions/) you just need to add a "type" property to your object and define...