%title What is a type? | Lambda the Ultimate :webquote: http://lambda-the-ultimate.org/node/5604 %date [2020-09-27 Sun 21:56] > Types are mostly used in three ways: