Some type info to help debug