Removed redundant type argument from Lazy

[arduano]

trafficstars

Hi! Loving this library, but I noticed that Lazy had a redundant type argument that can be inferred from F::Output instead. I've modified it accordingly, and made sure the tests still pass (and double checked that there's no outdated documentation left after this change).