Re-generating all monadic interfaces with exhaustiveness checking