ptext SLIT("srt: ") <> ppr srt,
ptext SLIT("fun_type: ") <> integer (toInteger fun_type),
ptext SLIT("arity: ") <> integer (toInteger arity),
ptext SLIT("srt: ") <> ppr srt,
ptext SLIT("fun_type: ") <> integer (toInteger fun_type),
ptext SLIT("arity: ") <> integer (toInteger arity),