Nice! In this case it's less a question of implementation language (though Haskell would likely be the best fit) and more what it exposes to the user.