dataclass fields are made from annotations, ``harmony: int``, not ``harmony = int`` (although, there is a case where you'd use ``=``: to assign a ``dataclass.field``, e.g. a default_factory)
What;s monads in haskell