Type signature tests