Types can be specified