|:: UniqFM Bool|
type constructor vectorisation status
tycons involving parallel arrays
type constructors that need to be classified
|-> ([TyCon], [TyCon], [TyCon], [TyCon])|
From a list of type constructors, extract those that can be vectorised, returning them in two sets, where the first result list must be vectorised and the second result list need not be vectorised. The third result list are those type constructors that we cannot convert (either because they use language extensions or because they dependent on type constructors for which no vectorised version is available).
NB: In order to be able to vectorise a type constructor, we require members of the depending set (i.e., those type constructors that the current one depends on) to be vectorised only if they are also parallel (i.e., appear in the second argument to the function).
The first argument determines the conversion status of external type constructors as follows: