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

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