We usually don't write specs like this, but it actually looks quite nice. Erlang/OTP writes their specs like this because they use the argument names from the specs as documentation. Maybe we should do it as well in exdoc.