From ff50ebfd70555855ca788c5b44c9a0f59c0bbeaf Mon Sep 17 00:00:00 2001
From: Kiana Sheibani <54818348+kiana-S@users.noreply.github.com>
Date: Sat, 25 Jun 2022 02:34:15 -0400
Subject: [PATCH] Fix Scalar multiplication

---
 src/Data/NumIdr/Scalar.idr | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/Data/NumIdr/Scalar.idr b/src/Data/NumIdr/Scalar.idr
index a6a0ca9..2e34740 100644
--- a/src/Data/NumIdr/Scalar.idr
+++ b/src/Data/NumIdr/Scalar.idr
@@ -27,6 +27,5 @@ unwrap = index 0 . getPrim
 
 
 export
-Num a => Mult (Scalar a) (Scalar a) where
-  Result = Scalar a
+Num a => Mult (Scalar a) (Scalar a) (Scalar a) where
   (*.) = (*)