Data.Diverse.Reduce

type family Reduced handler

class Reduce v handler