Test that the following functions bool -> bool -> bool are equal:

let f (a:bool) = if a then id else not >> not
let g (a:bool) (b:bool) = b

(Hint: Test that f(true) equals g(true) and that f(false) equals g(false), as functions.)