a function type where you don't know anything abou...
# announcements
y
a function type where you don't know anything about the type parameter doesn't make sense because you can't pass any value to it - whatever value you pass, it may cause a type mismatch