rebindable methods for improving testability.

This package provides Method typeclass, which represents monadic functions, and provides easy DSL for mocking/verifying methods.

ghcid ... --test Main.main --setup ":set args myargs"

rebindable methods for improving testability.