liquidhaskell-0.9.0.2.1: tests/pos/Grty2.hs

module Grty2 () where

{-@ foo :: {vv:[{v:[a]|((len v) = 1)}]|((len vv)= 1)} -> [[a]] @-}
foo [[x]] = [[x]]