{- |

Module : $EmptyHeader$

Description : <optional short description entry>

Copyright : (c) <Authors or Affiliations>

License : GPLv2 or higher

Maintainer : <email>

Stability : unstable | experimental | provisional | stable | frozen

Portability : portable | non-portable (<reason>)

<optional description>

-}

{-

types:

FiniteSet :: (*->*, data)

values:

a___2_M_2 ::

forall a . (FiniteSet a, FiniteSet a) -> FiniteSet a

a___2_P_2 ::

forall a . (FiniteSet a, FiniteSet a) -> FiniteSet a

a___b_2_r :: forall a . a -> FiniteSet a

a___b_r :: forall a . FiniteSet a

FiniteSet :: forall a . FiniteSet a

scope:

Prelude.FiniteSet |-> Prelude.FiniteSet, Type [FiniteSet] []

Prelude.FiniteSet |-> Prelude.FiniteSet, con of FiniteSet

Prelude.a___2_M_2 |-> Prelude.a___2_M_2, Value

Prelude.a___2_P_2 |-> Prelude.a___2_P_2, Value

Prelude.a___b_2_r |-> Prelude.a___b_2_r, Value

Prelude.a___b_r |-> Prelude.a___b_r, Value

FiniteSet |-> Prelude.FiniteSet, Type [FiniteSet] []

FiniteSet |-> Prelude.FiniteSet, con of FiniteSet

a___2_M_2 |-> Prelude.a___2_M_2, Value

a___2_P_2 |-> Prelude.a___2_P_2, Value

a___b_2_r |-> Prelude.a___b_2_r, Value

a___b_r |-> Prelude.a___b_r, Value

-}

module Dummy where

data FiniteSet a1 = FiniteSet

a___2_P_2

:: (FiniteSet a, FiniteSet a) -> FiniteSet a

a___2_P_2

=

error{-((FiniteSet a, FiniteSet a) -> FiniteSet a)-}

"a___2_P_2"

a___2_M_2

:: (FiniteSet a, FiniteSet a) -> FiniteSet a

a___2_M_2

=

error{-((FiniteSet a, FiniteSet a) -> FiniteSet a)-}

"a___2_M_2"

a___b_2_r :: a -> FiniteSet a

a___b_2_r = error{-(a -> FiniteSet a)-} "a___b_2_r"

a___b_r :: FiniteSet a

a___b_r = error{-(FiniteSet a)-} "a___b_r"