[
  18,
  "∀(a : Type) → a"
]