On Sun, Feb 05, 2012 at 07:17:32PM -0800, John Millikin wrote: > > That was my understanding also, then QuickCheck found a > counter-example. It turns out that there are cases where a valid path > cannot be roundtripped in the GHC 7.2 encoding. This is fixed in GHC 7.4.1. Thanks Ian