blob: de9a1adde965a00f48db661597970cdce0385a31 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
module Trivial where
import Data.Semigroup
import Test.QuickCheck
data Trivial = Trivial deriving (Eq, Show)
instance Semigroup Trivial where
_ <> _ = Trivial
instance Arbitrary Trivial where
arbitrary = return Trivial
instance Monoid Trivial where
mempty = undefined
mappend = (<>)
|
