liquidhaskell-0.7.0.0: tests/todo/Class4.hs

module Class3 where

{-@ class Pos s where
      allPos :: s a -> Bool
  @-}
class Pos s where
  allPos :: s a -> Bool