a where
VNil :: Vector Zero a
VCons :: a -> Vector n a -> Vector (Succ n) a тут есть сигнатуры конструктора, но где реализации?
Реализации чего
Обсуждают сегодня