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