कुछ पृष्ठभूमि पहले। मैं वर्तमान में मोनैडिक पार्सर संयोजकों के बारे में कुछ सामान सीख रहा हूं। मैं से this paper (पी। 16-17) 'chainl1' समारोह हस्तांतरण करने के लिए कोशिश की, मैं इस समाधान के साथ आया थ
मैं monads साथ एफ # में (संगणना भाव उर्फ) कर रहा है और मैं इस सरल पहचान इकाई ने लिखा है: type Identity<'a> =
| Identity of 'a
type IdentityBuilder() =
member x.Bind (Identity v) f = f(v)