How so? I know Haskell has pretty extensive type inference, but I’m not sure exactly how it relates here.