It seems the implicit isn't needed here.