by using `Reader().ask` the `IdHK` is not required...
# arrow
i
by using
Reader().ask
the
IdHK
is not required any more, it still seems to require the functor instance