git.iko.soy/rowtype-yoga/purescript-native
on cd4c708 help sign in
rowtype-yoga/purescript-native/examples/passing/TypeClassesWithOverlappingTypeVariables.purs
12 lines 238 B history raw
1module Main where
3import Prelude
4import Control.Monad.Eff.Console (log)
6data Either a b = Left a | Right b
8instance functorEither :: Functor (Either a) where
9 map _ (Left x) = Left x
10 map f (Right y) = Right (f y)
12main = log "Done"