/devel/hs-equivalence/