Closed
Description
Currently we have:
Set[_ <: X] // wildcards
type Reader[I, A] = Freer[[T] => Ask[I, T], A] // type lambdas
Looking outside a little we see that:
- In Cousin Java, wildcards are
?
- Term-level lambdas allow
_
to be used in place of an lambda args
It would be nice to make this consistent at the type level like the following:
Set[? <: X] // wildcards
type Reader[I, A] = Freer[Ask[I, _], A] // type lambdas
Metadata
Metadata
Assignees
Labels
No labels