Koen Claessen

The Key monad: type-safe unconstrained dynamic typing

2016 · ACM SIGPLAN Notices

We present a small extension to Haskell called the Key monad. With the Key monad, unique keys of different types can be created and can be tested for equality. When two keys are equal, we …