module Nhc13Test13 (Set) where newtype Set a = Set [a]