fun a b c = ()

value a b = a `fun` b