some tests for implicits