Stephen-Abram-Pattern-Matching