unit-constraint-0.0.0: src/Data/Constraint/Unit.hs

{-# LANGUAGE
    KindSignatures
  , FlexibleInstances
  #-}

module Data.Constraint.Unit where


class Unit (x :: *)

instance Unit a