Hi > isn't it _much_ better to use Virtual Machine to disallow bad code? > may be yhc may provide such VM? It could do with relative ease - just add a -safe flag and disallow IO in the interpretter. You could even keep the IO monad just not perform the actual IO effects. Thanks Neil