packages: hs package * optimization: True package mealy-decompose profiling: True ghc-options: -Wall -fexpose-all-unfoldings -fspecialise-aggressively