Improve docs
Better ghci instructions
Add solution example