liquidhaskell-0.8.0.2: tests/todo/Class4.hs

module Class3 where

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