liquidhaskell-0.8.0.2: tests/errors/HoleCrash1.hs

module ListDemo where

data Poo a = C { t :: Poo a }

{-@ type Geq N = {v:_ | N <= v} @-}

{-@ data Poo a = C { t :: Poo (Geq 0) } @-}