> In this example bar's type signature doesn't tell you anything about what bar 'consumes' Yes, it does: `bar` in your example is an `Int`, it has no arguments

> In this example bar's type signature doesn't tell you anything about what bar 'consumes' Yes, it does: `bar` in your example is an `Int`, it has no arguments. That is captured precisely in the type signature, so I'm not sure what you're trying to say.