Use the same approach as Haskell does.
This would probably require to introduce the 'default' clause (see section 4.3.4 of the Haskell report).
