{-# LANGUAGE DataKinds #-}
{-# LANGUAGE NegativeLiterals #-}

type T = -1