Example of Multiple Type Binding

remove unneeded constarint from class Binding
toward supporing ST monad.