型シグニチャとfindの型から型推論により[1..(10^21)] :: [Int]が決まって
(10^21)::Intがオーバーフローで負の数になるから[1..(10^21)] == []
そこからfind _ [] == Nothingより件の結果になると
一方ghci上で型シグニチャなしならInteger型と解釈されてJust 999になる