# freer-indexed

Freer indexed (parameterized) monad for type-level resource-aware effectual operations.

See [Parameterized Extensible Effects and Session Types](http://okmij.org/ftp/Haskell/extensible/index.html#extext).

See [docs on hackage](http://hackage.haskell.org/package/freer-indexed/docs/Control-XFreer.html).