Fix: test with type instances