liquidhaskell-0.8.10.7: tests/classes/pos/HiddenMethod00.hs

{-@ LIQUID "--reflection" @-} 

module Euclide where

import Prelude hiding (mod, gcd)

foo :: a -> a 
foo x = x