On 7/8/17 2:26 PM, John Colvin wrote: > I wonder if some lessons from Haskell's "bottom" type would be relevant > here. Affirmative. The nice touch of bottom (heh) is that it's convertible to anything, so you can use it in complex expressions as a wildcard. -- Andrei