Thanks for reading and sharing your thoughts!

You should also look at Liquid Haskell.