@@ -2,7 +2,6 @@
2{-# LANGUAGE FlexibleInstances #-}
2{-# LANGUAGE FlexibleInstances #-}
3{-# LANGUAGE TypeSynonymInstances #-}
3{-# LANGUAGE TypeSynonymInstances #-}
4{-# LANGUAGE ScopedTypeVariables #-}
4{-# LANGUAGE ScopedTypeVariables #-}
5−{-# LANGUAGE NoMonomorphismRestriction #-}
6{-# LANGUAGE Rank2Types #-}
5{-# LANGUAGE Rank2Types #-}
7-----------------------------------------------------------------------------
6-----------------------------------------------------------------------------