untested example decoder definitions using i) applicative matrix idioms and/or ii) 2D decomposition