Merge pull request #1 from input-output-hk/ch1bo/not-require-typable-…

…dynlogicmodel

Not require Typable s on DynLogicModel

src/Test/QuickCheck/DynamicLogic.hs

@@ -146,7 +146,7 @@ bracket (first:rest) = ["  ["++first++", "] ++
 -- properties at controlled times, so they are likely to fail if
 -- invoked at other times.
 
-class (Typeable s, StateModel s) => DynLogicModel s where
+class StateModel s => DynLogicModel s where
     restricted :: Action s a -> Bool
     restricted _ = False