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: Aug 15 2022 at 02:13 UTC