<div dir="ltr">I'd appreciate help with a cast-related Core Lint error I'm getting with a GHC plugin I'm working on:<br><br><span style="font-family:courier new,monospace">    Argument value doesn't match argument type:<br>



    Fun type:<br>        Enc (Vec ('S 'Z) Bool) ~ (Bool, ()) =><br>        EP (Enc (Vec ('S 'Z) Bool)) -> EP (Bool, ())<br>    Arg type:<br>        ~R# (Enc (Vec ('S 'Z) Bool)) (Bool, ())<br>



    Arg:<br>        CO Sub (TFCo:R:EncVec[0] <'Z>_N <Bool>_N)<br>           ; (Sub TFCo:R:EncBool[0], Sub (TFCo:R:EncVec0[0] <Bool>_N))_R</span><br><br>(I omitted the module prefixes for brevity.) Do I have a role wrong here, or maybe something more fundamental?<br>



<br>I can easily supply more info if it'd help.<br><br>Thanks, -- Conal</div>