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