Dependent Haskeller, Ph.D. in Math