A Prelude with names from category theory - View it on GitHub