Haskell borrows from CT but it is too much engineered to be a model for computational CT. However you can study it with CT: http://www.cs.ut.ee/~varmo/papers/thesis.pdf