{-# LANGUAGE DataKinds #-}
module T7502 where

type S = [1,2]