One example with sigma types