Title: Decorated types
First published: 1928