We don't enforce that they're datatypes? That's just convention?