Depends what you mean by "type". A type in e.g. Haskell specifies whether there are side effects.