Add a todo: dependent types could be used to prove that the getOrElse is never triggered.

http://stackoverflow.com/questions/2693067/what-is-meant-by-scalas-path-dependent-types