prettyop f a
  | Just v <- unVar f
  , Just n <- tupleLen v
  , n == length a = 3 #> punctuate ',' a
prettyop f a
  | Just v <- unVar f
  , Just n <- tupleLen v
  , n == length a = 3 #> punctuate ',' a
prettyop f a
  | Just v <- unVar f
  , Just n <- tupleLen v
  , n == length a = 3 #> punctuate ',' a