AlgebraicTesting
Description
Dieses Modul stellt QuickCheck-Eigenschaften fuer Algebraic bereit.
check_Algebraic ∷ IO ()