by xunorus on 03/03/2016
THis is kind of what I imagined for the representation of the monade in MDE…