I do not think there has. The main disadvantage of moving specs to a different file is that it is very easy to forget them (and then they for instance are not updated when the functions themselves are changed).
In a language that performs full compile-time type checking it is enforced that the types and the actual signatures match, but in Elixir this is not the case.
