Commit 18b2c467 authored by bernalex's avatar bernalex Committed by Austin Seipp
Browse files

Add PolyKinds extension to Data.Monoid

Carl Howells pointed out[0] that the `Monoid` instance for
`Data.Proxy.Proxy` is only defined for types with kind *.

This is a very mild change. Furthermore, Edward Kmett revealed[1] that
it was supposed to be there all along -- the extension simply got lost
in commit 1d1ff77a, as pointed out by
Adam Vogt[2]. This used to be correct in GHC 7.6, so this commit fixes a

This addresses #9317.

[0] <>.
[1] <>.
[2] <

Signed-off-by: bernalex's avatarAlexander Berntsen <>

Test Plan: See [0]

Reviewers: austin, hvr, ekmett

Reviewed By: austin, hvr, ekmett

Subscribers: phaskell, simonmar, relrod, carter

Differential Revision:
parent 893a4bf1
......@@ -3,6 +3,7 @@
{-# LANGUAGE AutoDeriveTypeable #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE PolyKinds #-}
-- |
......@@ -14,6 +14,10 @@
* Add `Control.Monad.(<$!>)` as a strict version of `(<$>)`
* The `Data.Monoid` module now has the `PolyKinds` extension
enabled, so that the `Monoid` instance for `Proxy` are polykinded
like `Proxy` itself is.
## *Jul 2014*
* Bundled with GHC 7.8.3
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