Hamburger Builder Demo A silly example with IxMonad to specify how a burger can be properly made. blog post about this here: http://qiita.com/kimagure/items/a0ee7313e8c7690bf3f5