singletons-base-3.3: tests/compile-and-dump/Singletons/T316.hs

module T316 where

import Data.Kind
import Data.Singletons.TH
import Prelude.Singletons

$(promoteOnly [d|
    replaceAllGTypes :: (a -> Type -> a) -> [Type] -> [a] -> [a]
    replaceAllGTypes f types as = zipWith f as types
  |])