Ideas.Common.Context
data Context a
newContext
fromContext
fromContextWith
fromContextWith2
data ContextNavigator a
noNavigator
navigator
termNavigator
liftToContext
contextView
use
useC
applyTop
currentTerm
changeTerm
replaceInContext
currentInContext
changeInContext