Turns out Typeable instances can't exist here usefully