compound-types (hackage): Sum and Product types and such
Keywords: data|library|mit|type-system|types