Love how #Idris REPL greets you

Constructors are red / Types are blue / Your code always works / Because Idris loves you