You also have error "foo" :: Void Ultimately the issue is that Haskell programs are not guaranteed to terminate. You could write a similar function in F# to

You also have error "foo" :: Void Ultimately the issue is that Haskell programs are not guaranteed to terminate. You could write a similar function in F# too. Most (all?) theorem provers require that all functions probably terminate.