fx will move to the typeclass and the data types w...
# arrow
s
fx will move to the typeclass and the data types will project their most powerful version on the companion.