Improve orphan documentation.
Add in generics safe haskell example.