Add another example to opaque type aliasing