Dovetail.Core.Control.Monad.ST.Internal
type ST ctx a = Value ctx -> Eval ctx a Source #
env :: forall ctx. Typeable ctx => Env ctx Source #