用于编写低级代码的箭头化EDSL

Question

通常为Arrows提供的大多数激励示例都展示了如何在Hask之上构建更复杂的计算系统（例如，效果的Kleisli类别，Arrowized FRP等）是否已经完成了使用Arrows的任何工作写低级代码（例如Assembly，Javascript）？虽然这可能不完全符合Arrow的标准定义（特别是arr :: (a -> b) -> cat a b），但似乎Arrows形成了某种串联编程的强大基础。