shulhi

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE ScopedTypeVariables #-}
--{-# LANGUAGE RankNTypes #-}
--{-# LANGUAGE UndecidableInstances #-}
--{-# LANGUAGE AllowAmbiguousTypes #-}
--{-# LANGUAGE GADTs #-}

import Data.Aeson

NicolasT

(** Either *)

module Either : sig
    type ('a, 'b) t = Left of 'a | Right of 'b

    val left : 'a -> ('a, 'b) t
    val right : 'b -> ('a, 'b) t

    val either : ('a -> 'c) -> ('b -> 'c) -> ('a, 'b) t -> 'c