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

\end{code}