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

そのため、任意の値は、必ずどれか1つの型に属す
複数の型に属すことはない