yay, I finally got implicits sorted