liquidhaskell-0.4.0.0: tests/crash/CyclicTypeAlias3.hs

module Test3 () where

{-@ type CyclicD1 = CyclicD2 @-}
{-@ type CyclicD2 = CyclicD3 @-}
{-@ type CyclicD3 = CyclicD2 @-}