The purist approach is saying “Your function says ...

# random

[cedric]

The purist approach is saying “Your function says it returns Int but actually, it needs a config file to return that value, so it’s not pure. In order to be pure, that function needs to be passed a Config parameter so it can return an Int from it. Hence the return type becomes Reader[C, Int]