typed model test from my talk http://herbstcampus.de/hc13/program/sessions.html#19