can we add some spaces: `l: B, r: A): B = `