haskellforall.com

Haskell for all: Dependent if expressions without dependent types

Folklore trick for dollar-store dependent types

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.