The problem with type arguments being implicit becomes obvious once we have more than one. Which order do they come in?
const :: a -> b -> a
const @Int mean
a is equal to
Int, or is it
In case we explicitly state the type parameters using a
const :: forall a b. a -> b -> a then the order is as written:
If we don't, then the order of variables is from left to right. The first variable to be mentioned is the first type parameter, the second is the second type parameter and so on.
What if we want to specify the second type variable, but not the first? We can use a wildcard for the first variable like this
const @_ @Int
The type of this expression is
const @_ @Int :: a -> Int -> a