Commit b4f47611 authored by msosn's avatar msosn

Prefix unused type variables with an underscore.

parent d829642b
......@@ -58,8 +58,8 @@ data C
-- | Either type indexed by closed/open using type families
type family IndexedCO ex a b :: *
type instance IndexedCO C a b = a
type instance IndexedCO O a b = b
type instance IndexedCO C a _b = a
type instance IndexedCO O _a b = b
-- | Maybe type indexed by open/closed
data MaybeO ex t where
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment