From b18a30b4419a4147e509efc67c12059248d1d074 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@github.com>
Date: Thu, 16 Jun 2016 17:02:08 -0400
Subject: [PATCH] Add a type family for monotypes.

---
 src/Data/Record.hs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/Data/Record.hs b/src/Data/Record.hs
index 56a8f97a4..6c04465c7 100644
--- a/src/Data/Record.hs
+++ b/src/Data/Record.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, FlexibleContexts, GADTs, GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, TypeOperators #-}
+{-# LANGUAGE DataKinds, FlexibleContexts, GADTs, GeneralizedNewtypeDeriving, KindSignatures, MultiParamTypeClasses, TypeFamilies, TypeOperators #-}
 module Data.Record where
 
 import Prologue
@@ -29,6 +29,11 @@ field :: b -> a :=> b
 field = Field
 
 
+-- Families
+
+type family ValueOf field
+
+
 -- Classes
 
 -- | HasField enables indexing a Record by (phantom) type tags.