liquidhaskell-0.8.10.7: tests/names/pos/List00.hs

-- | The `GHC.TypeLits` seems to royally mess up name resolution.

module MatchIdxs where

import GHC.TypeLits

{-@ zoo :: [Int] @-}
zoo :: [Int] 
zoo = []