# Pastebin AEDuy3mF
evaluateDeeds :: (MonadIO m) => Term g t -> m (Maybe DeedLabel, [HyDeed])
evaluateDeeds expr =
  runCollectorT (
          evalEnvT (
                unConstT <$> (getCompose $ runAlgebra ToDeeds expr)
          )
  )