Add empty example + type check