Data.Setoid.Types

data Setoid e a