App.hs typechecks