blob: 5ef96a39c690cb54515d47c517d067da0caa5b2f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE DefaultSignatures, FlexibleContexts, DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
module T7437 where
import GHC.Generics
class GPut f where
gput :: f a -> [()]
class Put a where
put :: a -> [()]
default put :: (Generic t, GPut (Rep t)) => t -> [()]
put = gput . from
|