val show_mouseButton = mkShow (fn b => case b of Left => "Left" | Middle => "Middle" | Right => "Right") fun main () : transaction page = return