@@ -4,6 +4,11 @@
4 ViewPatterns #-}
4 ViewPatterns #-}
5{-# LANGUAGE DefaultSignatures #-}
5{-# LANGUAGE DefaultSignatures #-}
7+-- Needed for Tagged, Const and Proxy instances
8+#if __GLASGOW_HASKELL__ >= 706
9+{-# LANGUAGE PolyKinds #-}
7#define NEEDS_INCOHERENT
12#define NEEDS_INCOHERENT
8#include "overlapping-compat.h"
13#include "overlapping-compat.h"