Библиотека поддержки автоматного программирования для языка Haskell