Language.PureScript.Kinds
data
Kind
everywhereOnKinds
everythingOnKinds