Developer tools based on category theory

or try online