apply-refact-0.1.0.0: tests/examples/Pragma5.hs

{-# LANGUAGE NoMonomorphismRestriction, GADTs, NoMonomorphismRestriction #-}