# Pastebin Q2Ix5qkL
• Couldn't match type ‘Data.Dependent.Map.Internal.DMap
                             (Tag Int) Value’
                     with ‘CollectorEnvironment HyDeed’
        arising from a functional dependency between:
          constraint ‘MonadState
                        (CollectorEnvironment HyDeed)
                        (StateT SubstEnv (StateT (CollectorEnvironment HyDeed) m))’
            arising from a use of ‘runAlgebra’
          instance ‘MonadState s (StateT s m1)’ at <no location info>