yoko-0.3.1: Generic Programming with Disbanded Data Types
Data.Yoko.Each
type Each = Each_Source
each :: Each cxt sum => Proxy cxt -> (forall a. cxt a => a -> b) -> sum -> bSource