package lecture1

def task[A](c: => A) : Task[A] = ???

trait Task[A] :
  def join: A