module PatternMatching::base