F is covariant tho
# arrow-contributors
p
F is covariant tho