Basic examples and functions for generics-sop