diff options
Diffstat (limited to 'testsuite/tests/polykinds/MonoidsFD.hs')
| -rw-r--r-- | testsuite/tests/polykinds/MonoidsFD.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/MonoidsFD.hs b/testsuite/tests/polykinds/MonoidsFD.hs index 7cf9a599dd..f093d77663 100644 --- a/testsuite/tests/polykinds/MonoidsFD.hs +++ b/testsuite/tests/polykinds/MonoidsFD.hs @@ -13,7 +13,7 @@ {-# LANGUAGE UnicodeSyntax #-} module Main where -import Control.Monad (Monad(..), join) +import Control.Monad (Monad(..), join, ap) import Data.Monoid (Monoid(..)) -- First we define the type class Monoidy: @@ -85,6 +85,10 @@ instance Monoidy (→) (,) () m ⇒ Monoid m where mempty = munit () mappend = curry mjoin +instance Applicative Wrapper where + pure = return + (<*>) = ap + -- instance (Functor m, Monoidy NT FC Id m) ⇒ Monad m where instance Monad Wrapper where return x = runNT munit $ Id x |