definition module Select class Selectable a where addToSelectSet :: a SelectSet -> SelectSet instance