ecatmur

#include <functional>
#include <utility>
#include <iostream>

namespace hask {
   struct Unit {};
   template<typename S, typename V> struct State {
      std::function<std::pair<S, V>(S)> runState;
      using state_type = S;
      using value_type = V;