I want to create a purely functional programming language, something like Haskell, purely functional, lazily evaluated, with curricular functions, custom data types, type classes, all bells and whistles.
However, I really don't know how to do this; I could be able to implement a regular functional language, only with numbers, functions and without data types / types classes / functions currified / etc.
Could someone provide me with general information on how to do this in, for example, Python, or provide resources?
PD I tried to read Write him a Haskell but apparently it is not finished.
Also: if you reject this question, I would like to know why.