Is it possible to define an Arrow instance of list to list functions? import Control.Arrow import Control.Category type X a b = [a] -> [b]