This package provides extensible poly-kinded records, variants and effects. Several tutorials can be found at School of Haskell. Bug reports and contributions are welcome!