Philippa Cowderoy is a professional procrastinator, amateur haskeller and type system nerd, gamer, aspie, etc etc etc. This is her academic/FP/type systems/etc blog.