error message for different number of arguments in TyCon

see issue #72