Active patterns

17-10-2016 Partial classification active pattern