Added an isomorphic GADT representation as an example