Monadic logic

It is a truth universally acknowledged that a data structure in possession of information, must be in want of an extra type parameter. In the last couple of posts, we looked at implementing a simple logic DSL in Haskell. I relent Solving the technical interview Solving the technical interview, explained Monadic logic Fairness in disjunctions It works, but the syntax is a little un-Haskell-like. We…