Remove type signatures in CRP example to avoid scaring off non-Haskellers.