Example of Multiple Type Binding

modify more generically.
Example of Multiple Type Binding

Support phantom type parameter (close #1)
See examples in MultiTypeBinding.hs