Trivial example with structural types