Thanks for the link. I was looking into liquid Haskell and refinement types and thought that it&#x27;s a great idea but rued the fact that it wasn&#x27;t built into the language. I am definitely going to try Idris for one of my projects.