`fun <F<_>> findUserName(id: F<User...
# arrow-contributors
p
fun <F<_>> findUserName(id: F<UserId>): F<String> where F <: Applicative & Show