Est-il possible de créer un type avec un argument numérique? à savoir si je veux créer un type d'entiers avec un peu de largeur fixe: newtype FixedWidth w = FixedWidth Integer
addFixedWidth :: Fixed
En jouant avec shapeless nombres naturels dans l'excitation, je me demande quelle pourrait être la meilleure approche pour obtenir la valeur entière de par exemple. un produit de nats. Extrait de shap