All posts tagged in: how to define type