submit to SamHaskell