Hask是否构成理论上有效的类别？还是只是假装成一个？

Question

Hask 看起来像 SET 的子类别-所有集合的类别以及它们之间的单参数函数。但是，当它降到id时似乎无法保存undefined：seq undefined ()失败，但有seq (undefined . id) () = seq (id . undefined) () = ()例外。显然，id的行为是错误的。

是否有办法（至少在理论上）解决此问题并使已存在确实是一个类别？除了丢掉undefined以外？