fun printer () = Test.foo
fun effect () =
Test.print;
return
fun xact () =
Test.transactional;
return
All good.
fun xact2 () =
Test.transactional;
error Failure;
return
All gooder.
fun main () = return
{[Test.out (Test.frob (Test.create "Hello ") "world!")]}