{-# LANGUAGE TypeOperators #-}
module T15214 where

type (~) = Either