def Ycomb[A, B](f: (A => B) => (A => B)): A => B = {
    case class selfFn(usf: selfFn => (A => B))
    def selfApply(sf: selfFn): A => B = sf.usf(sf)(_)
    selfApply(selfFn(sf => f(selfApply(sf))))
  }