# Pastebin mllPBRuO
type CollectorT a m = StateT (CollectorEnvironment a) m

type EnvT = StateT SubstEnv