Real estate startups (proptech) are innovating to solve the obvious housing problem in Nigeria. However, it appears they are constrained by the existing infrastructure such that the average urban resident may not benefit.