David Peklak davidpeklak

runarorama / gist:9422453

Last active August 29, 2015 13:57

Suggestion for the new representation of `IO` in Scalaz.

	import scalaz._
	import \/._
	import Free._
	import scalaz.syntax.monad._
	import java.util.concurrent.atomic.AtomicReference
	import java.util.concurrent.CountDownLatch

	object Experiment {
	sealed trait OI[A] {
	def map[B](f: A => B): OI[B]