Hello,

I made this blog post about the curry-howard isomorphism in Haskell. Check it out :)

Thanks