三上 遼

@mikamix

def NotY[A, B](f: (A => B) => (A => B)): A => B = f(NotY(f))(_: A)
Akihabara, Japan
Following Users10