I'm thankful for my family and the great support I've gotten from them.
I'm thankful for the healthcare system which has provided a great deal for my brother, even though progress is slow.
I'm thankful for my friends, their interest and enthusiasm.
I'm also thankful for HN and the greater tech community. My parents do not have a higher education and without HN and the surrounding internet I'm not sure I'd have pursued one.
Not really an answer but if you check out provability section of https://en.wikipedia.org/wiki/Löb's_theorem you'll find a formula very similiar to the haskell type, together with a proof in modal logic.
There's a gradual color change in the header of
https://tryenlight.github.io/guide, which is fine and all except the text isn't legible when the color is red.
On a non-retina screen, the font weight of 100 looks not so great. I'd recommend to use a media query to check the DPI.
When I saw "Discover" I expected some examples. Your product is intriguing, but I don't think there are that many people that will go "Oh, now I can finally make <insert object>". HAving some examples would be a great way to show what can be done and inspire your customers.