Example of Multiple Type Binding
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)

notae/haskell-exercise