billpmurphy

Good catch. I'd say `float` should probably be an instance of `Enum`, as it is in Haskell.

Hask is only compatible with Python 2.7 at the moment, but Python 3 support is coming soon.

Since there seems to be a lot of interest, I will try to work on this ASAP. I didn't have a particular roadmap in mind besides starting with `lang` and...

Thanks--I have been reading about the tradeoffs between Python-Future and six, and this is a helpful recommendation.

Thinking about this a bit more, it's not possible to remove `t` entirely, as it's still needed for polymorphic higher-kinded types (e.g. `t("m", "a")`), but I still think the `Maybe(int)`...

So, just to make sure we are on the same page: The bug shown in your example is that the output is of type `int`, not polymorphic. As I see...

If you look under the hood at [hindley_milner.py](https://github.com/billpmurphy/hask/blob/master/hask/lang/hindley_milner.py), it does have a real implementation of HM (i.e., if you create expressions in the internal type language, which is basically just...