My experimental codes for learning and testing haskell features