¿Es posible crear un tipo con un argumento numérico? es decir, si quiero crear un tipo de números enteros con un poco de ancho fijo: newtype FixedWidth w = FixedWidth Integer
addFixedWidth :: FixedW
Mi pregunta es probablemente más fácil de explicar en forma de un ejemplo: type family Take (n :: Nat) (xs :: [k]) :: [k]
type instance Take 0 xs = '[]
type instance Take (n+1) (x ': xs) = x ': Ta