liquidhaskell-0.8.10.1: tests/errors/BadSyn3.hs

module Zoo where

type Foo = Int

{-@ bob :: Foo String @-}
bob = 10 :: Int