See also: Well-typed music does not sound wrong (experience report), Haskell 2017

https://dl.acm.org/doi/10.1145/3122955.3122964