List of Dicts?

Dicts.hs

{-# LANGUAGE GADTs           #-}
{-# LANGUAGE PolyKinds       #-}
{-# LANGUAGE DataKinds       #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TypeFamilies    #-}
{-# LANGUAGE TypeOperators   #-}

import Data.Constraint
import Data.Proxy

data Product (f :: k -> *) (xs :: [k]) where
   (:*:) :: f x -> Product f xs -> Product f (x ': xs)
   Nil   :: Product f '[]

type family All (c :: k -> Constraint) (xs :: [k]) :: Constraint where
   All c '[] = ()
   All c (x ': xs) = (c x, All c xs)

newtype Compose f g a = Compose { getCompose :: f (g a) }

dicts :: All c xs => Proxy c -> Product Proxy xs -> Product (Compose Dict c) xs
dicts = _

Reddit thread about this code is at: http://www.reddit.com/r/haskell/comments/2qwqf2/generate_list_of_dicts_from_type_level_list/