liquidhaskell-0.8.0.2: tests/errors/CyclicPredAlias0.hs

module Test0 () where

{-@ predicate CyclicA1 Q = CyclicA1 Q @-}