Open treeowl opened 9 years ago
It might be nice to mention in Data.Machine.Process that for any monad m, ProcessT m forms a category with identity echo and composition <~. It might even make sense to offer a newtype wrapper to get the Category instance.
Data.Machine.Process
m
ProcessT m
echo
<~
Category
It might be nice to mention in
Data.Machine.Processthat for any monadm,ProcessT mforms a category with identityechoand composition<~. It might even make sense to offer a newtype wrapper to get theCategoryinstance.