нет подожди. я вижу это да и что. это расширение или что? где найти правду? ТОЛЬКО learnyouahaskell пишет что это ваниальный сахар который делает типчик и генерит конструкторы. потом эти конструкторы сосут с коллизией
включаешь {-# LANGUAGE DuplicateRecordFields #-} и внеапно не сосут
питонка из лайк вот тебе обьекты но не как средство группировать данные и вообще вот у нас есть язык но у нас буквально нет ничего чтобы группировать данные. на тебе сраные наймедтуплы в 2013 и сраные датаклассы в 2017
но ты можешь подтереться этими неймедтуплами потому что класс есть а трекалки использования класса нет потому что у нас поломане тьюринг полные рантайм импорты без возможности делать приваты