@@ -50,7 +50,7 @@ class HasTypes a s where
51 ( Hastypes' (Interesting s a) a s
51 ( Hastypes' (Interesting s a) a s
52 ) => HasTypes a s where
52 ) => HasTypes a s where
53− types = confusing (types' @(Interesting s a))
53+ types = types' @(Interesting s a)
54 {-# INLINE types #-}
54 {-# INLINE types #-}
56class Hastypes' (t :: Bool) a s where
56class Hastypes' (t :: Bool) a s where