Documentation

data Z Source

data S n Source

data Vector n a whereSource

type family Add s t Source

append :: Vector n a -> Vector m a -> Vector (Add n m) aSource