Lukas Stevens (Nov 23 2020 at 18:28): Lukas Stevens (Nov 23 2020 at 18:28):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: Nov 16 2025 at 20:22 UTC