Writing tclABSTRACT in the new monad. In particular the unsafe status is now
preserved.