PatternMatchingOnCodata.agda:26,1-11
Could not parse the left-hand side my-♭ (♯ x)
Operators used in the grammar:
  ♯ (prefix operator, level 1000) [♯_ (PatternMatchingOnCodata.agda:22,22-24)]
when scope checking the left-hand side my-♭ (♯ x) in the definition
of my-♭
