cleaned up Hask.Prof