{-# LANGUAGE TemplateHaskell #-} module NoSlow.Mini.List where import qualified NoSlow.Backend.List as Impl import qualified NoSlow.Mini.Kernels as K import NoSlow.Backend.TH import Language.Haskell.TH type Spec_Vector = [] type Spec_Elem = () class Spec_Context v a $(specialise K.kernels)