module Data.Constraint.Trivial (
Unconstrained, Impossible
, Unconstrained2, Impossible2
, Unconstrained3, Impossible3
, Unconstrained4, Impossible4
, Unconstrained5, Impossible5
, Unconstrained6, Impossible6
, Unconstrained7, Impossible7
, Unconstrained8, Impossible8
, Unconstrained9, Impossible9
) where
class Unconstrained t
instance Unconstrained t
type Impossible t = HiddenEmptyClass t
class HiddenEmptyClass t
class Unconstrained2 t s
instance Unconstrained2 t s
type Impossible2 t s = HiddenEmptyClass2 t s
class HiddenEmptyClass2 t s
class Unconstrained3 t s r
instance Unconstrained3 t s r
type Impossible3 t s r = HiddenEmptyClass3 t s r
class HiddenEmptyClass3 t s r
class Unconstrained4 t s r q
instance Unconstrained4 t s r q
type Impossible4 t s r q = HiddenEmptyClass4 t s r q
class HiddenEmptyClass4 t s r q
class Unconstrained5 t s r q p
instance Unconstrained5 t s r q p
type Impossible5 t s r q p = HiddenEmptyClass5 t s r q p
class HiddenEmptyClass5 t s r q p
class Unconstrained6 t s r q p o
instance Unconstrained6 t s r q p o
type Impossible6 t s r q p o = HiddenEmptyClass6 t s r q p o
class HiddenEmptyClass6 t s r q p o
class Unconstrained7 t s r q p o n
instance Unconstrained7 t s r q p o n
type Impossible7 t s r q p o n = HiddenEmptyClass7 t s r q p o n
class HiddenEmptyClass7 t s r q p o n
class Unconstrained8 t s r q p o n m
instance Unconstrained8 t s r q p o n m
type Impossible8 t s r q p o n m = HiddenEmptyClass8 t s r q p o n m
class HiddenEmptyClass8 t s r q p o n m
class Unconstrained9 t s r q p o n m l
instance Unconstrained9 t s r q p o n m l
type Impossible9 t s r q p o n m l = HiddenEmptyClass9 t s r q p o n m l
class HiddenEmptyClass9 t s r q p o n m l