Hardware Simulation in Idris I
parsonsmatt.org
Making My Life Harder with GADTs
On 'Software Engineering'
the-frey
Basic Type Level Programming in Haskell
Keep your types small...