case r @GHC.Types.Any of { __DEFAULT -> r @a }