module NothingAppliedToHiddenArg where

bad = {x}