{-# LANGUAGE PolyKinds #-}

module T7272a where

import {-# SOURCE #-} T7272