I think I'll be able to improve the type error message some too, along the lines of "Couldn't match type PortConflicts with SanePorts"