特殊情况下def和val之间存在差异

Question

假设我定义了以下类型。

type T[+A] = M => (A, M)

之间有什么区别

val fun: T[Int] = _.nextInt

和

def fun: T[Int] = _.nextInt

nextInt将M带到(Int, M)？