Comparison of state monad and core sampling from map
Samplable -> Distribution & reorganise implicits