Tag: allegory vs type