New posts in Non Exhaustive Patterns

Surjectivity check when return type is sealed