class intprojection : int -> projection
int ->
projection
intprojection n integer projection of size n
intprojection n
n