Experimental polykinds implementation - View it on GitHub