λ(self).{a1 = e1, …, an = en}
slide: A calculus for recursive types