Modules
Top-level
Primitives
Bool
Cake
Choice
Coffee
Either
Existential
File
Fin
Fix
Foo
Graph
List
Maybe
Nat
Parallel
Prelude
Result
Stack
Vec
unknown
Module Foo
Meta-data
Data types
Definitions
id : forall {a : Type} . a
Foo
kay