Wei Hu wrote: > nonTermination _ = blackhole where blackhole = blackhole My original example was actually: process :: String -> String process = let x = x in x Regards, Yitz