Typechecks, test output is highly questionable