# LANGUAGE FlexibleContexts #

module Synonyms where

import Definitions

* ( FlexibleContexts ) *

* ( FlexibleContexts ) , FlexibleContexts   *

* FlexibleContexts , FlexibleContexts *
f3 = const ()              {-* FlexibleContexts *-}

* FlexibleContexts , FlexibleContexts *
f4 = const ()              {-* FlexibleContexts *-}

f5 :: SimpleEq a => a -> ()
f5 = const ()

f6 :: Eq a => a -> ()
* ( FlexibleContexts ) , ( FlexibleContexts ) *

* FlexibleContexts *
* FlexibleContexts *
# LANGUAGE FlexibleContexts #

module Synonyms where

import Definitions

* ( FlexibleContexts ) *

* ( FlexibleContexts ) , FlexibleContexts   *

* FlexibleContexts , FlexibleContexts *

* FlexibleContexts , FlexibleContexts *

f5 :: SimpleEq a => a -> ()
f5 = const ()

f6 :: Eq a => a -> ()
* ( FlexibleContexts ) , ( FlexibleContexts ) *
