It seems like in Play framework templates,
there is an implicit "@import models._" and "@import play.api.data.Form" because my code:
@(title: String)(myForm: Form[User])
<!DOCTYPE html>
<html>
....
</html>
works without having to put explicit import statements after the first line. This issue has been raised in the past: https://groups.google.com/d/msg/play-framework/7FT68jd5asU/xYF0VNySJYcJ
What other classes/objects are implicitly imported?