work in progress, semantiche in Haskell di linguaggi