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