blob: 57d3d48ca471b2560e015696950df17119b97c17 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{-# LANGUAGE FlexibleContexts, MultiParamTypeClasses, TypeFamilies #-}
module T4497 where
norm2PropR a = twiddle (norm2 a) a
twiddle :: Normed a => a -> a -> Double
twiddle a b = undefined
norm2 :: e -> RealOf e
norm2 = undefined
class (Num (RealOf t)) => Normed t
type family RealOf x
|