Skip to content

Instantly share code, notes, and snippets.

View vlopezj's full-sized avatar

Víctor López Juan vlopezj

View GitHub Profile
@vlopezj
vlopezj / NewtypeDeriving.markdown
Last active October 4, 2017 10:42 — forked from Icelandjack/NewtypeDeriving.markdown
Newtype Deriving

Monad gives Applicative, Applicative etc. gives Num, Floating, Fractional

Setting it up

WrapMonad tells us that a Monad implies Functor, Applicative

instance Monad m => Functor     (WrappedMonad m)
instance Monad m => Applicative (WrappedMonad m)
instance Monad m => Monad       (WrappedMonad m)