http://www.dotnetreader.com/2024/05/an-introduction-to-primary-constructors.html