fun a b = ()

value a b = a `fun` b