| r -> x where
DeepSeq (f x) = DeepSeq f (DeepSeq x)
DeepSeq x = x
выдает мне
• Type family equation violates injectivity annotation.
Type variable ‘x’ cannot be inferred from the right-hand side.
In the type family equation:
forall a1 a2 (f :: a1 -> a2) (x :: a1).
DeepSeq (f x) = DeepSeq f (DeepSeq x)
так и надо?
выглядит как да, потому x справа подходит под все
Обсуждают сегодня