Haskellにはサブタイピング多相はない

そのため、任意の値は、必ずどれか1つの型に属す

複数の型に属すことはない