I believe the following is not indented correctly. It only happens with (x:xs) when you use nested cases, I think.

case foo of [] -> case bar of [] -> return () (x:xs) ->

Thanks. The indentation indeed works particularly poorly here in ways that I hadn't seen yet. I don't have time to look into right now, but I've added it to the indent.hs file in the mean time. Stefan