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