Data types
Functional programming
Type theory
Functional languages
Cross-platform software
Monad
Type class
Haskell
C++ classes
Software engineering
Computing
Computer programming