arbitrary instances for new types