[Kaethar]

You can have preconditions that check stuff not related to typing (e.g: check that a connection is open before calling the function).