# Pastebin oBbVPCRA
type SourceEnv t = (Text, Behavior t (Map (Int, SomeTypeRep) Bool))
newtype SourceT t s m a
  = SourceT { unSourceT :: ReaderT (SourceEnv t) m a}