IntS.scala

new Monad[IntS] { 
	def map[A, B](f: A => B) = (a: IntS[A]) => IntS((i: Int) => {
		val res = a.k(i)
		(res._1, f(res._2))
	})
	
	def flatMap[A, B](f: A => IntS[B]) = (a: IntS[A]) => IntS((i: Int) => {
		val res = a.k(i)
		f(res._2).k(i)
	})
	
	def point[A](a: A) = IntS((i: Int) => (0, a))
}