liquidhaskell-0.7.0.0: tests/todo/Class4Import.hs

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

module Class4Import where

import Class4

instance Frog () where