Comment by xixixao

Why require Pure to be an annotation - why not make that the default without annotation - no effects? (Same as in Haskell)