Building checkers with Fintan