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

{-# LANGUAGE GADTs #-}
{-# LANGUAGE DataKinds #-}