@hackage debruijn0.2

de Bruijn indices and levels

de Bruijn indices and levels for well-scoped terms.

This is "unsafe" (as it uses unsafeCoerce) implementation, but it's fast. The API is the same as in debruin-safe package.