Playing around with structural types