more general types testing