How do I declare an empty/case-less pattern matching function to satisfy a type definition? I\'m happy with the function just throwing a runtime exception if it\'s ever called.<
