simplified type lambda