What is going on here? https://github.com/AccelerateHS/accelerate-backend-kit/blob/master/backend-kit/Data/Array/Accelerate/BackendKit/IRs/Internal/AccClone.hs#L96 Which expression is the head and which is the tail? Moreover, the types make no sense. I feel like this is the equivalent of defining: ``` Data List = Nil | Cons List List ``` which is clearly nonsense.
What is going on here?
https://github.com/AccelerateHS/accelerate-backend-kit/blob/master/backend-kit/Data/Array/Accelerate/BackendKit/IRs/Internal/AccClone.hs#L96
Which expression is the head and which is the tail?
Moreover, the types make no sense. I feel like this is the equivalent of defining:
which is clearly nonsense.