PureType

imperative