Type-level guards on top-level body-less function head

[dimitarvp]

Very nice pointer about the _guarded suffix! I’ll follow that from now on.