map -package:Cabal-syntax is:exact -package:byteslice -package:ghc package:clash-prelude

"map f xs" is the vector obtained by applying f to each element of xs, i.e.,
map f (x1 :> x2 :>  ... :> xn :> Nil) == (f x1 :> f x2 :> ... :> f xn :> Nil)
and corresponds to the following circuit layout: