Algebra is a project mainly written in ..., it's free.
Notes on Algebra and Recursive Data Types
404: Not Found