There is only one language, but as imperfect students we have imperfect vision of that language. We are zoologists in the dark – one person holds a tail, one person holds a trunk, and another part of an ear. We know full well what beast is present, but its wholeness is too great, and manner too tempremental to grasp all at once. The task becomes to grasp an adequate portion of the beast so that profitable work can be done, while avoiding being crushed by its greatness.

Disciple grasps portions of the one language consisting of System-F2 with algebraic data, region types and modal effects. We believe these portions to be the body, the feet, and perhaps the tusks of the beast. We dare not reach for more while our situation is still so tenuous.