Removed redundant parentheses
Better Show instance of Asgn RandVar Val
More interesting main function