git.iko.soy/rowtype-yoga/purescript-native
on edcefcb help sign in
rowtype-yoga/purescript-native/examples/passing/TypeClassesWithOverlappingTypeVariables.purs
11 lines 237 B history raw
1module Main where
3 import Prelude
5 data Either a b = Left a | Right b
7 instance functorEither :: Prelude.Functor (Either a) where
8 (<$>) _ (Left x) = Left x
9 (<$>) f (Right y) = Right (f y)
11 main = Debug.Trace.trace "Done"