GitHub repository: pa000/dbl
Description: An experimental programming language that combines effect handlers and implicit parameters