Functional Pearl: Implicit Configurations