liquidhaskell-0.8.10.1: tests/errors/CyclicPredAlias0.hs

module Test0 () where

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