Fixed/improved link to discipline

See https://groups.google.com/forum/#!topic/typelevel/Xg2uGbtNa-0