contHoleType (StrictArg ai _ _)               = funArgTy (ai_type ai)
contHoleType (StrictArg ai _ _)               = funArgTy (ai_type ai)
contHoleType (StrictArg ai _ _)               = funArgTy (ai_type ai)