Type Safe Algorithmic Skeletons