Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
type level naming issues
type level naming issues
· Changes
Page history
Edit TypeLevelNamingIssues
authored
Oct 28, 2013
by
heisenbug
Hide whitespace changes
Inline
Side-by-side
type-level-naming-issues.md
View page @
684e75a0
...
...
@@ -39,7 +39,7 @@ class CoercionT f where
coercionT :: f a -> f b -> Maybe (Coercion a b)
```
## Module Data.Proxy
## Module
`
Data.Proxy
`
```
wiki
data Proxy t = Proxy
...
...