convertType (HsIParamTy NOEXTP (L _ (HsIPName ip)) lty) = do
  isTyCallStack <- maybe (pure False) (fmap (== "CallStack") . ghcPpr) $ viewLHsTyVar lty
  if isTyCallStack && ip == fsLit "callStack"
    then pure $ "GHC.Stack.CallStack"
    else convUnsupported' "implicit parameter constraints"
convertType (HsIParamTy NOEXTP (L _ (HsIPName ip)) lty) = do
  isTyCallStack <- maybe (pure False) (fmap (== "CallStack") . ghcPpr) $ viewLHsTyVar lty
  if isTyCallStack && ip == fsLit "callStack"
    then pure $ "GHC.Stack.CallStack"
    else convUnsupported' "implicit parameter constraints"
convertType (HsIParamTy NOEXTP (L _ (HsIPName ip)) lty) = do
  isTyCallStack <- maybe (pure False) (fmap (== "CallStack") . ghcPpr) $ viewLHsTyVar lty
  if isTyCallStack && ip == fsLit "callStack"
    then pure $ "GHC.Stack.CallStack"
    else convUnsupported' "implicit parameter constraints"