1
Rolleri ve kafa karıştırıcı davranışı `zorlama 'ile yazın
Bir türü var Id ave ben mesela yanlışlıkla coercing, bir engel olmaya çalışıyorum Id Doublebir etmek Id Int. Yazım rollerini doğru anlarsam, aşağıdakiler derlenmemelidir. {-# LANGUAGE RoleAnnotations #-} import Data.Coerce (coerce) type role Id nominal newtype Id a = Id String badKey :: Id Int badKey = coerce (Id "I …