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.