liquidhaskell-0.8.0.2: tests/todo/Class4Import.hs

{-# LANGUAGE ScopedTypeVariables #-}
{-@ LIQUID "--no-termination" @-}

module Class4Import where

import Class4

instance Frog () where