syntactic-1.15: Generic abstract syntax, and utilities for embedded languages

Safe HaskellNone
LanguageHaskell2010

Data.PolyProxy

Synopsis

Documentation

data P a where Source

Kind-polymorphic proxy type

Constructors

P :: P a