- Only generate peek functionality for types appearing in positive positions - Only generate poke functionality for types appearing in negative positions