Types as theories · Study