syntactic-1.12.1: Generic abstract syntax, and utilities for embedded languages
Data.PolyProxy
Synopsis
data P a whereSource
Kind-polymorphic proxy type
Constructors