It was another dull Wednesday, project management and the professional yet again. Despite not getting any more professional as a project manager I asked myself the simple question. If I were to take project management seriously what automation could I do. Spurred on for my incessant boredom and need to attempt to learn lenses in Haskell yet again. I came up with the greatest idea. Let us make a jira clone in Haskell.

In a modern age of programming we have become quite acquainted with the idea of mathematical types. Mathematical types proliferate through functional programming languages and have made greater bounds in the guise of modern programming languages. However, types have a longer and richer history than Haskell and Rust. Here I attempt to tackle why these mysterious constructs that seem useful for programming are almost entirely unrelated, and do they have a deeper meaning.