blob: 867d69b2fd60614183b6e768b01264b7b19693ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
{-# LANGUAGE DataKinds, FlexibleInstances, ScopedTypeVariables, TypeFamilies #-}
module T6011 where
data family GenMod :: Modulus * -> * -> *
type Mod n = GenMod (FiniteRing n) Integer
data Modulus n = FiniteRing n
data instance GenMod (FiniteRing n) Integer = Mod Integer Integer
|