Factored out examples into separate file.
Generic module now exports Data.Monoid; removed window functions and replaced with more generic segment / rectangle (prism will be the 3D equivalent) which are easier to define and more flexible, as they use refs.
Added Control.Applicative and Control.Comonad as exports to Generic, and modified import statements as appropriate.