liquidhaskell-0.8.10.7: tests/synthesis/static/NestedListSimple.hs

{-@ LIQUID "--typed-holes" @-}

module NestedListSimple where

import Language.Haskell.Liquid.Synthesize.Error

{-@ foo :: { v: [[a]] | len v == 2} @-}
foo :: [[a]]
foo = (:) [] ((:) [] [])