I was just saying if we implemented #166 we could use that typeclass here.