Embedding a web-based workflow management system in a functional language