contIsTrivial (CastIt _ k)                                      = contIsTrivial k
contIsTrivial (CastIt _ k)                                      = contIsTrivial k
contIsTrivial (CastIt _ k)                                      = contIsTrivial k