purescript-0.5.4.1: examples/passing/TypeClassesWithOverlappingTypeVariables.purs

module Main where

  import Prelude

  data Either a b = Left a | Right b

  instance functorEither :: Prelude.Functor (Either a) where
    (<$>) _ (Left x) = Left x
    (<$>) f (Right y) = Right (f y)

  main = Debug.Trace.trace "Done"