  <interactive>:00:00: Not in scope: data constructor ‘Cons'  <interactive>:00:00: Not in scope: data constructor ‘Cons'  <interactive>:00:00: Not in scope: data constructor ‘Cons'  <interactive>:00:00: Not in scope: data constructor ‘