1. 9
  1.  

  2. 4

    Some related thoughts on ADTs from Oleg Kiselyov: http://okmij.org/ftp/tagless-final/Algebra.html