Dan Piponi on Nostr: nprofile1q…zxhtk I tend to think of these Kleisli arrows as some kind of staging in ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpqw4y42l2xu0p3a9yrfecmmsmlvhzrk3xe67vp0gpfw55q8s3kz2hsrzxhtk (nprofile…xhtk) I tend to think of these Kleisli arrows as some kind of staging in a compiler so your use of the term "template" may be similar to a C++ template, I'm not sure. Anyway, looking forward to seeing what perturbation testing looks like...