Control.Isomorphism.Partial.Derived
foldl