{-# LANGUAGE ConstraintKinds #-}
module ParenTypeSynonym where

type Is = (~)