On 2015-01-22 11:04 PM, Cody Goodman wrote: > List is a monad, does that mean i can create a list with do notation? My http://www.vex.net/~trebla/haskell/forwardconstraint/ForwardConstraint.html is a great example. The source code is behind some link at the top.