Shortened feedback from typechecker
Removed fst and snd.
Delete trailing whitespace.