with default types