Example of Multiple Type Binding

Support ST monad as an underlying monad and
can support other monads by defining instance of
class Binding. (close #2)