liquidhaskell-0.4.0.0: tests/neg/Class5.hs

module Class5 where

{-@ class Foo a where
      foo :: a -> Nat
  @-}

class Foo a where
  foo :: a -> Int
  foo _ = 0 - 10