-- ...ditto...
contIsDupable (CastIt _ k)                      = contIsDupable k
contIsDupable (CastIt _ k)                      = contIsDupable k
contIsDupable (CastIt _ k)                      = contIsDupable k