Still working on ignorance of types