syntactic-1.4: Generic abstract syntax, and utilities for embedded languages

Safe HaskellNone

Data.PolyProxy

Synopsis

Documentation

data P a where

Kind-polymorphic proxy type

Constructors

P :: P a