type-eq-0.1: Type/Eq.hs-boot

{-# LANGUAGE GADTs, TypeFamilies, TypeOperators, CPP #-}

#include "macros.h"

LANGUAGE_POLYKINDS
LANGUAGE_TRUSTWORTHY

module Type.Eq where

data a :~: b where
    Eq :: (a ~ b) => a :~: b