From b8d3c2675930075c2cc884997530fd963e1a0af4 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Fri, 19 May 2017 12:15:03 -0400
Subject: [PATCH] Revert "Define Language as a GADT."

This reverts commit e5606b132d3ded64a55f3268c978f9adb227fc4b.
---
 src/Language.hs | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/Language.hs b/src/Language.hs
index a0417f7af..c93b46241 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, GADTs #-}
+{-# LANGUAGE DataKinds #-}
 module Language where
 
 import Data.Record
@@ -9,12 +9,12 @@ import qualified Syntax as S
 import Term
 
 -- | A programming language.
-data Language where
-  C :: Language
-  Go :: Language
-  Markdown :: Language
-  Ruby :: Language
-  TypeScript :: Language -- ^ Also JavaScript.
+data Language =
+      C
+    | Go
+    | Markdown
+    | Ruby
+    | TypeScript -- ^ Also JavaScript.
     deriving (Show, Eq, Read)
 
 -- | Returns a Language based on the file extension (including the ".").