wikipediaのラムダ計算のページ見てたら、ふと思い立ったので

funca x y = x * y
funcb a b = a * b

main = print (funca == funcb)

これやってみたらどうなるんだろうと思いつつ試してみたら普通に
No instance for (Eq (a -> a -> a))
って怒られてしまったんですが、
もしEqのインスタンスであるとしたら一応同じということが言えるんですよね？