superbil: 今天scm有講dependent type.... 本來想去聽的 orz