content: {-
  
  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"
  