Hi,<div>I&#39;ve tried a non-monadic version based on the suggestions here - <a href="https://github.com/ckkashyap/LearningPrograms/blob/master/Haskell/edsl/TreeWithoutMonad.hs">https://github.com/ckkashyap/LearningPrograms/blob/master/Haskell/edsl/TreeWithoutMonad.hs</a></div>
<div>This implementation seems to lack the &quot;indentation based&quot; approach that the do syntax allows.</div><div><br></div><div>Would I be right if I said that the non-monadic version is &quot;shallow embedding&quot; and the monadic approach is deep embedding? Can we do deep embedding without using monads?</div>
<div><br></div><div>Regards,</div><div>Kashyap</div>