Readme for reflection-1.1.5
reflection
==========
This package provides an implementation of the ideas presented in the paper
Oleg Kiselyov and Chung-Chieh Shan, "Functional Pearl: Implicit Configurations"
<http://www.cs.rutgers.edu/~ccshan/prepose/prepose.pdf>
However, the API has been modified to use Rank2Types and TypeFamilies and the
implementation has been streamlined to improve performance.