I really wish more languages had the option of using a Haskell style type system.