"The Key monad: type-safe unconstrained dynamic typing."

Atze van der Ploeg, Koen Claessen, Pablo Buiras (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics