module Data.Type.SetApp (SetApp, (:$:)) where

import Data.Type.SetApp.Internal