reflection-1.0: README

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.