我有编译的代码：
\f st -> f1 >>= \m-> f2 m f st
f1属于m a类型，f2属于类型a -> b -> c -> m d，属于同一Monad m。我不能为我的生活重写这个表达点，没有丑陋的\ f st和\ m在中间。我想，不是为了美学，而是因为我有其他方程式可以创建相同的函数，我可以编写无点，所以它会使代码更容易理解。
感谢您的帮助！
答案 0 :(得分：2)
嗯，这是我的笑话回答：
函数S和K由
定义k :: x -> y -> x
k x y = x
s :: (x -> y -> z) -> (x -> y) -> (x -> z)
s f g x = (f x) (g x)
任何试图真正使用它的人当然都是疯了。 ; - ）