{"body":"evaluateDeeds :: (MonadIO m) => Term g t -> m (Maybe DeedLabel, [HyDeed])\nevaluateDeeds expr =\n  runCollectorT (\n          evalEnvT (\n                unConstT <$> (getCompose $ runAlgebra ToDeeds expr)\n          )\n  )","name":"","extension":"txt","url":"https://www.irccloud.com/pastebin/AEDuy3mF","modified":1661885276,"id":"AEDuy3mF","size":217,"lines":7,"own_paste":false,"theme":"","date":1661885276}