DDC.Core.Exp.Annot.Ctx
data Ctx a n
isTopLetCtx
topOfCtx
takeEnclosingCtx
takeTopNameOfCtx
takeTopLetEnvNamesOfCtx
encodeCtx