typelevel-tools-yj-0.1.0.6: src/Data/TypeLevel/TypeVal.hs

{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE MultiParamTypeClasses, AllowAmbiguousTypes #-}
{-# OPTIONS_GHC -Wall -fno-warn-tabs #-}

module Data.TypeLevel.TypeVal where

class T (t :: k) v where t :: v