Title: Defining Types, Streamlining Functions and Functional Programming of Real World