Stream: General

Topic: Application in the presence of schematic types

view this post on Zulip 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: Apr 25 2024 at 04:18 UTC