Skip to content

Instantly share code, notes, and snippets.

@kosmikus
Created December 20, 2019 18:04
Show Gist options
  • Save kosmikus/b58ab97e2cd26d34cd1f06c588ff86fd to your computer and use it in GitHub Desktop.
Save kosmikus/b58ab97e2cd26d34cd1f06c588ff86fd to your computer and use it in GitHub Desktop.
{-# LANGUAGE DataKinds, FlexibleContexts, TypeFamilies, TypeOperators #-}
module SOPTail where
import Data.SOP
import Data.SOP.Dict
test :: (All c ys, ys ~ (x : xs)) => Proxy x -> Proxy c -> Dict (All c) xs
test _ _ = Dict
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment