package lecture1 def task[A](c: => A) : Task[A] = ??? trait Task[A] : def join: A