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