blob: 2e16abfa2024bbd689a128d7ddbf9fd9335c6223 (
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
|
