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

Safe HaskellNone

Data.PolyProxy

Synopsis

Documentation

data P a whereSource

Kind-polymorphic proxy type

Constructors

P :: P a