CTRex

Introduction

This page describes the design, usage and motivation for [CTRex | https://github.com/atzeus/CTRex]

CTRex is a library for Haskell which implements extensible records using closed type families and type literals. It does *not* use overlapping instances.