Types of blocks representing functions taking two arguments of type T and U and returning a value of type R