When I have a constant with schematic type variables, e.g.
(<) :: (?a::order) => ?a => bool, and want to apply something to it, e.g.
t::'b::order, it is not sufficient to use the application constructor (
$). Is there some kind of smart constructor to construct
(<) t :: ('b::order) => bool?
Last updated: Dec 07 2023 at 08:19 UTC