--idemodeProcess fn TTShell = process fn TTShell -- need some prove mode!
idemodeProcess fn (TestInline t) = process fn (TestInline t)
idemodeProcess fn (TestInline t) = process fn (TestInline t)
idemodeProcess fn (TestInline t) = process fn (TestInline t)