M = a => a(a)

K = a => b => a
