Frank

The Frank package. An experimental programming language with typed algebraic effects