Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  show that any monad whose unit and extension operations are expressible as purely functional terms can be embedded in a call-by-value language with “composable continuations”. As part of the development,  extend Meyer and Wand's characterization of the relationship beten continuation-passing and direct style to one for continuation-passing vs. general “monadic” style.  further show that the composable-continuations construct can itself be represented using ordinary, non-composable first-class continuations and a single piece of state. Thus, in the presence of two specific computational effects - storage and escapes -  any  expressible monadic structure (e.g., nondeterminism as represented by the list monad) can be added as a purely definitional extension, without requiring a reinterpretation of the whole language. The paper includes an implementation of the construction (in Standard ML with some New Jersey extensions) and several examples.
['Andrzej Filinski']
I am writing a research paper on a idea Representing monads
[{"from": "human", "value": "I am writing a research paper on a idea Representing monads"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely:  show that any monad whose unit and extension operations are expressible as purely functional terms can be embedded in a call-by-value language with \u201ccomposable continuations\u201d. As part of the development,  extend Meyer and Wand's characterization of the relationship beten continuation-passing and direct style to one for continuation-passing vs. general \u201cmonadic\u201d style.  further show that the composable-continuations construct can itself be represented using ordinary, non-composable first-class continuations and a single piece of state. Thus, in the presence of two specific computational effects - storage and escapes -  any  expressible monadic structure (e.g., nondeterminism as represented by the list monad) can be added as a purely definitional extension, without requiring a reinterpretation of the whole language. The paper includes an implementation of the construction (in Standard ML with some New Jersey extensions) and several examples."}]