Refinement Types and Liquid Haskell Talk for FP-Syd [Haskell]