There is almost certainly a better way to represent functions between notes in this Category Theory representation (is it just Haskell?), but I thought I’d put this attempt to the test for a while.