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