scala-misc-progfun subproject