Ideas.Service.State
data State a
startState
makeState
makeNoState
emptyStateContext
emptyState
exercise
statePrefix
stateContext
stateTerm
stateUser
stateSession
stateStartTerm
restart
withoutPrefix
stateLabels
suitable
finished
firsts
microsteps