some-1.1: src/Data/Some/Church.hs

{-# LANGUAGE Safe        #-}
module Data.Some.Church (
    Some(..),
    mkSome,
    mapSome,
    withSomeM,
    foldSome,
    traverseSome,
    ) where

import Data.GADT.Internal