norm_p _ = fromRational . toRational
norm_infty = fromRational . toRational
+instance Normed Float where
+ norm_p _ = fromRational . toRational
+ norm_infty = fromRational . toRational
+
instance Normed Double where
norm_p _ = fromRational . toRational
norm_infty = fromRational . toRational