Added example record-type implementation