module RegistryTest where
import Test.QuickCheck