blob: 95c462a6ea4e67723ad792373e47164f31b63b62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
module DerivingViaFail where
import Control.Category
import Data.Functor.Identity
newtype Foo1 a = Foo1 a deriving Show via (Identity b)
newtype Foo2 a b = Foo2 (a -> b)
deriving Category
via fooo
data Foo3 deriving Eq via forall a. a
|
