Debug library.
let trace : forall a . a -> ()
let show : forall a . a -> String
let tag : forall a . a -> Option String