じゃあ、Haskellにおける「代数的」ってどういう意味なんだ?