Add demo of 'container separation' problem
Add demo of homebrew typeclass failing on contianers

This is a carbon copy of the 'issue' instance for the original
typeclass, demonstrating a similar failure for the homebrew one.