Consider the following functions: nihil = (x-> Nothing, \()-> []) grok x y z = (\v -> if x == v then Just y else zork z v, \() -> x : frobs z) korg r s = (\x -> if x == r then Nothing else zork s x, \()-> filter (/=r) $ frobs s) zork (f,_) = f frobs (, f) = f() Explain on a high level what the collection of functions above implements. Include examples to support your claim.