@@ -8,8 +8,9 @@
8{-# LANGUAGE TypeFamilies #-}
8{-# LANGUAGE TypeFamilies #-}
9{-# LANGUAGE TypeOperators #-}
9{-# LANGUAGE TypeOperators #-}
11−{-# OPTIONS_GHC -fno-warn-unused-imports #-}
12{-# OPTIONS_GHC -fno-warn-duplicate-exports #-}
11{-# OPTIONS_GHC -fno-warn-duplicate-exports #-}
12+{-# OPTIONS_GHC -fno-warn-unused-binds #-}
13+{-# OPTIONS_GHC -fno-warn-unused-imports #-}
14{% include "_include/license.ede" %}
15{% include "_include/license.ede" %}