reflectionwithoutremorse icon indicating copy to clipboard operation
reflectionwithoutremorse copied to clipboard

Published 20 hours ago • verified publisher icon atzeus

Make type-aligned sequences polykinded

Open treeowl opened this issue 8 years ago • 1 comments

There's no sense in requiring the type indices to be of kind *. Adding {-# LANGUAGE PolyKinds #-} to appropriate places will fix this. I can try to open a pull request later.

treeowl avatar Mar 07 '16 20:03 treeowl

If you have the time, please make a pull request :)

atzeus avatar Mar 08 '16 15:03 atzeus