-interpretation "hide 0 args" 'hide_args t = (hide_args _ t).
-interpretation "hide 1 args" 'hide_args t = (hide_args _ t _).
-interpretation "hide 2 args" 'hide_args t = (hide_args _ t _ _).
-interpretation "hide 3 args" 'hide_args t = (hide_args _ t _ _ _).
-interpretation "hide 4 args" 'hide_args t = (hide_args _ t _ _ _ _).
-interpretation "hide 5 args" 'hide_args t = (hide_args _ t _ _ _ _ _).
-interpretation "hide 6 args" 'hide_args t = (hide_args _ t _ _ _ _ _ _).
-interpretation "hide 7 args" 'hide_args t = (hide_args _ t _ _ _ _ _ _ _).
+interpretation "hide 0 args" 'hide_args t = (hide_args ? t).
+interpretation "hide 1 args" 'hide_args t = (hide_args ? t ?).
+interpretation "hide 2 args" 'hide_args t = (hide_args ? t ? ?).
+interpretation "hide 3 args" 'hide_args t = (hide_args ? t ? ? ?).
+interpretation "hide 4 args" 'hide_args t = (hide_args ? t ? ? ? ?).
+interpretation "hide 5 args" 'hide_args t = (hide_args ? t ? ? ? ? ?).
+interpretation "hide 6 args" 'hide_args t = (hide_args ? t ? ? ? ? ? ?).
+interpretation "hide 7 args" 'hide_args t = (hide_args ? t ? ? ? ? ? ? ?).