Why does %a take unit -> 'a -> message rather than 'a -> message?
%a
unit -> 'a -> message
'a -> message
Last updated: Jan 31 2023 at 11:01 UTC