ghc can automatically derive Arrow and Category instances For Feature arrow t v
removed mkPureFA in favor of arr