module Foo where data F = A | B data G = A | C