/devel/hs-type-equality/