[bjl]

I read this as 'A cont of type r a is a function that, given a function of type a to r, returns an r'.