I'm not sure how actively this is maintained or used but I couldn't get it to build. Downloading parameterized-data-0.1.3... Configuring parameterized-data-0.1.3... Preprocessing library parameterized-data-0.1.3... Building parameterized-data-0.1.3... src\Data\Param\FSVec.hs:1:46: Warning: -XPatternSignatures is deprecated: use -XScopedTypeVariables or pragma {-# LANGUAGE Sco pedTypeVariables#-} instead src\Data\Param\FSVec.hs:462:0: warning: no newline at end of file [1 of 2] Compiling Data.Param.FSVec ( src\Data\Param\FSVec.hs, dist\build\Data\Param\FSVec.o ) src\Data\Param\FSVec.hs:103:22: Couldn't match expected type `t -> ExpQ' against inferred type `FSVec s a1' In the expression: (readFSVec str) (lift :: (Nat s, Lift a) => FSVec s a -> ExpQ) In the expression: ((readFSVec str) (lift :: (Nat s, Lift a) => FSVec s a -> ExpQ), undefined) In the definition of `parseFSVecExp': parseFSVecExp str = ((readFSVec str) (lift :: (Nat s, Lift a) => FSVec s a -> ExpQ), undefined) cabal.exe: Error: some packages failed to install: ForSyDe-3.0 depends on parameterized-data-0.1.3 which failed to install. parameterized-data-0.1.3 failed during the building phase. The exception was: exit: ExitFailure 1