This is also through for using fx on eager types, ...
# arrow
s
This is also through for using fx on eager types, since we cannot make eager values lazy without making the impls actually lazy