an exploration of subtyping-based category theory in scala - View it on GitHub