module Blank where

-- instead of "ERROR ERROR ERROR" fail GRACEFULLY when spec has unknown var

{-@ zoo :: Nat @-}

{-@ x :: Poo @-}
x :: Int
x = 12