apart-0.1.1: Get all your structure and rip it apart.
Data.Apart.Machinery.Moore
type Moore a b = Cofree ((->) b) a Source #
dumb :: a -> Moore a a Source #