new file:   sketches/Semantics.hs