define commands between curry and haskell sides