@Gankra ooh! how does it compare to Optional::map from java? (which applies a lambda to a value if it exists, and returns an Optional<T>
of the return type, which needs to be inferrable by the compiler)
@Gankra ah!
i was mostly asking because i didn't know why it was type-system-hostile, and wondered if that was just because i came from java-land, which historically has been pretty bad when it comes to type safety
@Gankra (i understand now though! since you replied why to someone else--i missed it initially because that instance doesn't federate with awoo yet)