Control.Isomorphism.Partial.Derived

foldl