convertArgs :: LocalConvMonad r m => HsConDeclDetails GhcRn -> Term -> m Term
convertArgs (PrefixCon args) ty = do
  coq_args <- traverse convertLType args
  pure (foldr Arrow ty coq_args)
convertArgs :: LocalConvMonad r m => HsConDeclDetails GhcRn -> Term -> m Term
convertArgs (PrefixCon args) ty = do
  coq_args <- traverse convertLType args
  pure (foldr Arrow ty coq_args)
convertArgs (PrefixCon args) ty = do
  coq_args <- traverse convertLType args
  pure (foldr Arrow ty coq_args)