{-@ LIQUID "--diff" @-}

module Foo where 

foo :: () -> ()
foo () = foo ()