Data.Reproject

class Proj label ty

data Projection t a

type family HasProj (a :: [Symbol]) t :: Constraint where ...

type family MakeTuple t k where ...

proj

data Proxy k t

projVal

(@@)