(
define
(
thing:
(
char
char
->
{
a=char
b=int
})
a
b
)
{
a=a
b=b
}
)
(
thing
#\a
#\b
)