way improved Haskbot types