Remove most of the playground code and move the rest into an examples project.
Add an Identity monad.