How to identify callable and alias type templates?

[vudaltsov]

callable<T>(T): T
@type A<T> = array{T}