blob: 1436d994c0a227eed4e5dda5885907c16abd9015 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
module DerivingViaFail4 where
class C a b where
c :: a -> b -> Bool
instance C a a where
c _ _ = True
newtype F1 = F1 Int
deriving Eq via Char
newtype F2 a = MkF2 a
deriving (C a) via (forall a. a)
|