I know, which is why I asked for some clarification. I actually think haskell is able to directly implement CT, there is HASK category after all. If it's that this is too pretentious to even mention in HN, then I'm completely lost.
Hask is not a real category.
> there is HASK category after all.
This is disputed and seems to be at best conjecture/intuition without adequate formal definition supporting it.