@@ -2,6 +2,7 @@
2{-# language BlockArguments #-}
2{-# language BlockArguments #-}
3{-# language ConstraintKinds #-}
3{-# language ConstraintKinds #-}
4{-# language DataKinds #-}
4{-# language DataKinds #-}
5+{-# language FlexibleInstances #-}
5{-# language GADTs #-}
6{-# language GADTs #-}
6{-# language InstanceSigs #-}
7{-# language InstanceSigs #-}
7{-# language MultiParamTypeClasses #-}
8{-# language MultiParamTypeClasses #-}
@@ -75,3 +76,4 @@ class MapSpec f where
76type ComposeConstraint :: (a -> Exp b) -> (b -> Constraint) -> a -> Constraint
77type ComposeConstraint :: (a -> Exp b) -> (b -> Constraint) -> a -> Constraint
77class c (Eval (f a)) => ComposeConstraint f c a
78class c (Eval (f a)) => ComposeConstraint f c a
79+instance c (Eval (f a)) => ComposeConstraint f c a