\begin{code}
module Control.Effects.Modalities.Knowledge where



\end{code}