Active Patterns

17-10-2016 Partial classification active pattern