1
Наберіть ролі та заплутану поведінку за допомогою "примусу"
У мене є тип, Id aі я намагаюся запобігти випадковому примусу, наприклад, Id Doubleдо ан Id Int. Якщо я правильно розумію ролі типу, наступне не слід збирати. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: Id Int badKey = …