REFS code is engineering, types are science April 6, 2020 One-minute read Develop • Philosophy Haskell • Type Origin