contHoleType (StrictBind b _ _ se _)          = substTy se (idType b)
contHoleType (StrictBind b _ _ se _)          = substTy se (idType b)
contHoleType (StrictBind b _ _ se _)          = substTy se (idType b)