Structural and semantic pattern matching analysis in Haskell. - Pavel Kalvoda; Tom Sydney Kerckhove (CoRR, 2019)