synopsis: Fixed sized vectors.
description: Vectors with numerically parameterized size, using
type-level numerals from 'tfp' library
synopsis: Fixed sized vectors.
description: Vectors with numerically parameterized size, using
type-level numerals from 'tfp' library