[[!comment format=mdwn
 username="joey"
 subject="""comment 4"""
 date="2016-03-08T21:19:01Z"
 content="""
Ok, got intersectSupportedOS fixed.

	*Propellor.Types.OS.TypeLevel> :t (intersectSupportedOS (combineSupportedOS freeBSD debian) debian) 
	(intersectSupportedOS (combineSupportedOS freeBSD debian) debian)  :: OSList '['OSDebian]

So, the type level OS lists are ready, on to the next step ... eventually ...
"""]]
