a kind constructor builds new types from outdated ones, and might be thought of as an operator having zero or even more types as arguments and generating a kind. product or service types, function types, electric power https://marcxltn012766.activoblog.com/29149354/data-types-options