some implicit examples