|
|
|
|
|
|
by gtf21
644 days ago
|
|
|
> 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. |
|
|