summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Language.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Language.hs b/src/Language.hs
index b61a497..a1b3d8b 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -1,6 +1,7 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ExplicitForAll #-}
{-# LANGUAGE OverloadedLabels #-}
+{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeOperators #-}
module Language (
fromNamed,