AeqB esolang A=B Haskell implementation via free monad and data types a la carte approach Execute Run stack exec -- AeqB-exe -f examples/max to start Run tests stack test