hanshoglund/SingList.hs

Created July 17, 2019 15:11

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/hanshoglund/45c25d65047968ed8254ecc4e3a051e0.js"></script>
Save hanshoglund/45c25d65047968ed8254ecc4e3a051e0 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

SingList.hs

	data Bar (xs :: [k]) where
	N :: Bar '[]
	C :: Bar (x : xs)
	class Foo xs where
	foo :: Bar xs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment