trivial example for generation of sigma types