gistfile1.txt

emptyOnsenM : OnsenM ()

namespace AttribElem {
elem : String -> List Char -> OnsenM a -> OnsenM a
}
namespace Elem {
elem : String -> OnsenM a -> OnsenM a
}

-- ^ above is solely to avoid writing []

-- example :
somepage : OnsenM ()                  -- we don't need [] for the below elem
somepage = elem "page" ['a','b','c'] (elem "row" (elem "col" emptyOnsenM))