‹

	Original	Generic representation
Type	data Weather = Sunny | Cloudy | Rainy	type instance Rep Weather = M1 D ('MetaData "Weather" "My.Module" "my-package" 'False) (M1 C ('MetaCons "Sunny" 'PrefixI 'False) U1 :+: (M1 C ('MetaCons "Cloudy" 'PrefixI 'False) U1 :+: M1 C ('MetaCons "Rainy" 'PrefixI 'False) U1))
Example Value	Cloudy	M1 (R1 (L1 (M1 U1)))