a #$# b = () fun _ = () a #$# b = ()