1
Digita ruoli e comportamento confuso con `coerce`
Ho un tipo Id ae sto cercando di prevenire la coercizione accidentale, ad esempio, da an Id Doublea an Id Int. Se capisco correttamente i ruoli di tipo, non dovrebbe essere compilato quanto segue. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id …