Agda.Utils.Trace
type Trace
data CurrentCall a
data ParentCall a
data ChildCall a