Add pattern matching over empty types