((_: _) 1) + ((__: __) 2)