Fundamentally, `Reader[C,T]` is just `C -> T` (...
# android
c
Fundamentally,
Reader[C,T]
is just
C -> T
(with sugar on top)