Parses and compiles, but it looks like I don't understand Stan user function overloading (?).