Pedro Rodriguez Tavarez pjrt

Idea for a Scala macro to make working with tagged types more ergonomic.

As a user, I want to define two variables:

This will define a new type called $TYPE that is a transparent, no-overhead wrapper around a value of type $CONTENT.

	{-# LANGUAGE FlexibleInstances, UndecidableInstances #-}
	{-# LANGUAGE FunctionalDependencies, TypeApplications #-}

	import Data.Proxy

	data User

	class MyClass a b \| b -> a

	instance MyClass Char Int

	{-# LANGUAGE GADTs, ConstraintKinds, FlexibleInstances, RankNTypes #-}

	-- Our typeclass with a simple foo :: a -> String func
	class Foo a where
	foo :: a -> String

	-- Our test data types and their instances of Foo
	data MyFoo = MyFoo String
	data MyBar = MyBar Int

	# Save this file (after modifying ID_VENDOR and ID_MODEL if necessary) as /etc/udev/rules.d/81-thinkpad-dock.rules

	# These values seem to work for "ThinkPad Mini Dock Plus Series 3"
	SUBSYSTEM=="usb", ACTION=="add\|remove", ENV{ID_VENDOR}=="17ef", ENV{ID_MODEL}=="100a", RUN+="/etc/sbin/thinkpad-dock.sh"