syntactic-1.16.1: 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