liquidhaskell-0.8.10.7: tests/terminate/neg/T745.hs

module Foo where 

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