blob: 6897e07b76de3969fb666b826a848a1f92e548b6 (
plain)
1
2
3
4
5
6
7
8
|
{-# OPTIONS_GHC -XFunctionalDependencies -XMultiParamTypeClasses #-}
module T2688 where
class VectorSpace v s | v -> s where
(*^) :: s -> v -> v
(^/) :: v -> s -> v
v ^/ s = v *^ (1/s)
|