NotNothing

型パラメータがscala.Nothing型に推論されそうになった場合に、 わざとimplicitを衝突させるてそれを回避する、ということを可能にする特殊な型です。