Pull in Reducible.hs from builder branch.