Changes between Version 11 and Version 12 of StrawPoll-2


Ignore:
Timestamp:
Aug 18, 2006 1:28:17 PM (8 years ago)
Author:
malcolm.wallace@…
Comment:

realign columns (only)

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v11 v12  
    4040 
    4141|| IJ || JL || MC || JG || BH || AL || SM || JM || RN || HN || RP || SPJ || DS || MS || AT || SJT || MW || SW || Ticket || Description 
    42 ||    ||     ||    ||    ||    ||    ||    ||    ||    ||    ||    ||  x   ||    ||   ||    ||      ||    ||     || -   || I have completed voting. 
    43 || Y  ||  Y  || Y  || Y  ||    ||    || Y  || M  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||   M  ||  M ||  Y || #74    || add some kind of concurrency 
    44 || Y  ||  Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  A || #35    || add ForeignFunctionInterface 
    45 || Y  ||  M  || M  ||    ||    || M  ||    ||    || Y  || Y  ||    ||  Y  ||    ||   || Y  ||  Y   ||  M || YM || #49    || add multi parameter type classes 
    46 ||    ||  Y  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||    ||  A || #60    || add RankNTypes or Rank2Types 
    47 ||    ||  M  || Y  ||    ||  Y || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||   || Y  ||    Y ||    ||  A || #57    || add polymorphic components 
    48 ||  Y ||  M  || Y  || Y  || Y  || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  A || #26    || add ExistentialQuantification (existential components) 
    49 ||    ||    || M  ||    ||  Y || Y  ||    || Y  || Y  || Y  || Y  ||     ||    ||    ||   ||    M ||    ||  N || #85    || more liberal kind inference 
    50 || M  ||    ||    ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y   ||    ||    ||Y  ||   Y  ||  N ||  Y  || #70   || allow TypeSynonymInstances 
    51 ||    ||  Y  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y   || Y  ||   || Y  ||  Y   ||    ||  Y || #65    || Relax Dependency Analysis 
    52 || Y*  || N  || Y  ||    ||    || Y  ||    || N  ||    || Y  || Y  ||  Y  ||    ||   ||    ||     ||    ||    || #39    || add ImpreciseExceptions 
    53 || Y*  ||  N  ||Y(3)||Y(3)||    ||    || Y  || Y  || Y  || M  ||    ||     ||    ||   || Y  ||   Y  ||  Y ||  Y(3)  || #29    || add ExtensibleExceptions 
    54 || Y  ||  Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y   ||  Y ||  Y || #24    || add HierarchicalModules 
    55 || Y  ||    || Y  || Y  || Y  || Y  || Y  ||    || Y  ||    || Y  ||     || Y  ||    ||Y  ||  Y   ||    ||    || #89    || standardize the System.FilePath module for Haskell' 
     42||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||  x  ||    ||    ||    ||     ||    ||    || -   || I have completed voting. 
     43|| Y  ||  Y || Y  || Y  ||    ||    || Y  || M  || Y  || Y  ||    ||  Y  || Y  ||    || Y  ||  M  ||  M ||  Y || #74    || add some kind of concurrency 
     44|| Y  ||  Y || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  ||  Y ||  A || #35    || add ForeignFunctionInterface 
     45|| Y  ||  M || M  ||    ||    || M  ||    ||    || Y  || Y  ||    ||  Y  ||    ||    || Y  ||  Y  ||  M || YM || #49    || add multi parameter type classes 
     46||    ||  Y || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  ||    ||  A || #60    || add RankNTypes or Rank2Types 
     47||    ||  M || Y  ||    ||  Y || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y ||    ||  A || #57    || add polymorphic components 
     48||  Y ||  M || Y  || Y  || Y  || Y  || Y  || Y  ||    || Y  || Y  ||  Y  || Y  ||    || Y  ||  Y  ||  Y ||  A || #26    || add ExistentialQuantification (existential components) 
     49||    ||    || M  ||    ||  Y || Y  ||    || Y  || Y  || Y  || Y  ||     ||    ||    ||   ||   M ||    ||  N || #85    || more liberal kind inference 
     50|| M  ||    ||    ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  ||    ||    ||Y  ||  Y  ||  N ||  Y  || #70   || allow TypeSynonymInstances 
     51||    ||  Y || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y   || Y  ||   || Y  ||  Y  ||    ||  Y || #65    || Relax Dependency Analysis 
     52|| Y* || N  || Y  ||    ||    || Y  ||    || N  ||    || Y  || Y  ||  Y  ||    ||   ||    ||     ||    ||    || #39    || add ImpreciseExceptions 
     53|| Y* ||  N ||Y(3)||Y(3)||    ||    || Y  || Y  || Y  || M  ||    ||     ||    ||   || Y  ||  Y  ||  Y ||  Y(3)  || #29    || add ExtensibleExceptions 
     54|| Y  ||  Y || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  || Y  ||  Y  || Y  ||   || Y  ||  Y  ||  Y ||  Y || #24    || add HierarchicalModules 
     55|| Y  ||    || Y  || Y  || Y  || Y  || Y  ||    || Y  ||    || Y  ||     || Y  ||    ||Y  ||  Y  ||    ||    || #89    || standardize the System.FilePath module for Haskell' 
    5656||    ||    || Y  ||    ||    || Y  || Y  || Y  || Y  || Y  ||    ||     || Y  ||    ||Y  ||     ||    ||  Y || #53    || Nondecreasing Indentation 
    57 || Y  || Y   || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   ||    || Y    ||  Y ||  A || #25    || add EmptyDataDeclarations 
    58 || Y  ||    || Y  ||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||     || Y  ||    ||Y  ||   Y  ||  Y ||  Y || #23    || fix common pitfall with the do-notation and if-then-else 
    59 || Y  ||  Y  || Y  || Y  ||    ||    || Y  || Y* || Y* || M  || Y  ||  Y  || Y  ||   ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface 
     57|| Y  || Y  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   ||    || Y   ||  Y ||  A || #25    || add EmptyDataDeclarations 
     58|| Y  ||    || Y  ||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||     || Y  ||    ||Y  ||  Y  ||  Y ||  Y || #23    || fix common pitfall with the do-notation and if-then-else 
     59|| Y  ||  Y || Y  || Y  ||    ||    || Y  || Y* || Y* || M  || Y  ||  Y  || Y  ||   ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface 
    6060||    ||    || Y  ||    || Y  || Y  ||    ||  Y ||    || Y  ||    ||     || Y  ||    ||   ||     ||    ||    || #59    || Fix the lexical syntax for qualified identifiers 
    6161||    ||    || Y  ||    || Y  || Y  || Y  ||  Y ||    || Y  || Y  ||     ||  Y ||    ||   ||     ||  Y ||  Y || #42    || fix comment syntax grammar 
    6262||    ||    || Y  ||    ||    || M  ||    ||    || M  || Y  ||    ||  Y  ||    ||    ||   ||     ||    ||    || #32    || add FlexibleInstances 
    63 ||    ||    ||    ||    ||    ||    ||    ||    || M  ||    ||    ||   Y  ||    ||    ||   ||     ||    ||    || #31    || add Flexible Contexts 
    64 || Y  ||  Y  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||     ||  Y ||  Y || #56    || add Pattern Guards 
    65 || M  ||  M  || Y  ||    ||    ||    ||    || M  || Y  || Y  ||    ||  Y  || Y  ||   ||    ||     ||    || Y  || #51    || add new pragmas 
    66 ||    ||  N  || M  ||    ||    ||    || N  ||    ||    || N  ||    ||     ||    ||   ||    ||  M   ||  Y ||  M  || #79    || Natural numbers 
     63||    ||    ||    ||    ||    ||    ||    ||    || M  ||    ||    ||  Y  ||    ||    ||   ||     ||    ||    || #31    || add Flexible Contexts 
     64|| Y  ||  Y || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||     ||  Y ||  Y || #56    || add Pattern Guards 
     65|| M  ||  M || Y  ||    ||    ||    ||    || M  || Y  || Y  ||    ||  Y  || Y  ||   ||    ||     ||    || Y  || #51    || add new pragmas 
     66||    ||  N || M  ||    ||    ||    || N  ||    ||    || N  ||    ||     ||    ||   ||    ||  M  ||  Y ||  M  || #79    || Natural numbers 
    6767|| Y  ||    ||    ||    ||    || Y  || Y  || Y  ||    || Y  || N  ||     ||  Y ||    ||Y  ||     ||  Y ||  Y || #72    || Make underscore 'caseless' 
    68 || N  ||  Y  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||     || N  ||   || N  ||   N  ||  N ||  N  || #20    || Eliminate . as an operator 
    69 || Y*  ||    || Y  ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||     || Y  ||   ||    ||     ||  Y ||    || #61    || replace the Read class 
    70 ||    ||  M  || Y  ||    ||    ||    || Y  ||    ||    || M  ||    ||     ||    ||   || N  ||   N  ||  N ||    || #96    || Replace the array indexing operator, '!' 
    71 ||    ||    ||N&Y ||    || M  || Y  || Y* ||  Y* ||    || Y* || N  ||  Y  ||    ||   ||    ||  M   ||    ||    || #95    || improve module interfaces 
    72 ||    ||    || N  ||    ||  N ||    || Y  || N  || Y  || M  || N  ||  N  ||    ||    ||   ||     ||    ||  N  || #86    || add PartialTypeAnnotations? 
    73 || Y*  || Y   || Y  ||    ||    ||    ||    || Y  ||    || M  || N  ||  Y  ||   ||   ||    ||     ||    ||    || #76    || Bang patterns 
    74 ||    ||    || Y  ||    ||    ||    || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||   M  ||    || Y* || #67    || add Scoped Type Variables 
    75 || N  ||    || N  ||    || N  || N  || Y* || Y*  || Y  || N  || N  ||     || N  ||   ||    ||   N  ||    ||    || #62    || allow data consructors to be exported and imported readonly 
    76 || Y*  || M   || M  ||    ||    ||    || N  ||    || Y  ||    ||    ||     ||   ||   ||    ||     ||  M ||    || #58    || prelude re-organisation proposal 
    77 ||    ||  Y  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  N  ||    ||   || Y  ||    N ||  N ||    || #55    || add Parallel List comprehensions 
    78 ||    ||  Y  || Y  ||    ||    || M  || Y  || Y  || Y  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  Y ||  Y || #52    || Generalised deriving for newtype 
    79 || N  ||  M  || N  ||    || N  || N  || N  || Y  || N  || N  || N  ||   Y  || N  ||   || N  ||   N  ||    ||  Y || #50    || get rid of unary '-' operator 
     68|| N  ||  Y || N  ||    || N  || N  || N  || N  || N  || N  || N  ||     || N  ||   || N  ||  N  ||  N ||  N  || #20    || Eliminate . as an operator 
     69|| Y* ||    || Y  ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||     || Y  ||   ||    ||     ||  Y ||    || #61    || replace the Read class 
     70||    ||  M || Y  ||    ||    ||    || Y  ||    ||    || M  ||    ||     ||    ||   || N  ||  N  ||  N ||    || #96    || Replace the array indexing operator, '!' 
     71||    ||    ||N&Y ||    || M  || Y  || Y* || Y* ||    || Y* || N  ||  Y  ||    ||   ||    ||  M  ||    ||    || #95    || improve module interfaces 
     72||    ||    || N  ||    ||  N ||    || Y  || N  || Y  || M  || N  ||  N  ||    ||    ||   ||     ||    ||  N || #86    || add PartialTypeAnnotations? 
     73|| Y* || Y  || Y  ||    ||    ||    ||    || Y  ||    || M  || N  ||  Y  ||    ||   ||    ||     ||    ||    || #76    || Bang patterns 
     74||    ||    || Y  ||    ||    ||    || Y* || YM || Y  || Y* ||    || YM  ||    ||    ||   ||  M  ||    || Y* || #67    || add Scoped Type Variables 
     75|| N  ||    || N  ||    || N  || N  || Y* || Y* || Y  || N  || N  ||     || N  ||   ||    ||  N  ||    ||    || #62    || allow data consructors to be exported and imported readonly 
     76|| Y* || M  || M  ||    ||    ||    || N  ||    || Y  ||    ||    ||     ||    ||   ||    ||     ||  M ||    || #58    || prelude re-organisation proposal 
     77||    || Y  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  N  ||    ||   || Y  ||   N ||  N ||    || #55    || add Parallel List comprehensions 
     78||    || Y  || Y  ||    ||    || M  || Y  || Y  || Y  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  Y ||  Y || #52    || Generalised deriving for newtype 
     79|| N  || M  || N  ||    || N  || N  || N  || Y  || N  || N  || N  ||  Y  || N  ||   || N  ||  N  ||    ||  Y || #50    || get rid of unary '-' operator 
    8080||    ||    ||    ||    ||    ||    ||    ||    ||    || M  ||    ||     ||    ||    ||   ||     ||    ||    || #48    || clarify module system proposals 
    81 ||    ||    ||    ||    || N  || N  ||    || N  ||    || N  || N  ||     ||    ||    ||   ||   N  ||    ||    || #44    || add MagicUnderscore 
    82 ||    ||  N  || N  ||  N || N  || N  || N  ||    || N  || N  || N  ||  N  ||    ||   || N  ||  N   ||    ||    || #41    || add LambdaCase 
    83 || M  ||  M  || N  ||    ||    ||    || N  || Y  || Y  || N  || N  ||     ||    ||   ||    ||     ||    ||    || #34    || add ForeignData 
     81||    ||    ||    ||    || N  || N  ||    || N  ||    || N  || N  ||     ||    ||    ||   ||  N  ||    ||    || #44    || add MagicUnderscore 
     82||    || N  || N  ||  N || N  || N  || N  ||    || N  || N  || N  ||  N  ||    ||   || N  ||  N  ||    ||    || #41    || add LambdaCase 
     83|| M  || M  || N  ||    ||    ||    || N  || Y  || Y  || N  || N  ||     ||    ||   ||    ||     ||    ||    || #34    || add ForeignData 
    8484|| Y  ||    ||    ||    ||    ||    || Y* || Y  || Y  ||    ||    ||     ||    ||    ||   ||     ||    ||    || #33    || add Blockable 
    8585||    ||    || Y  ||    ||    ||    || Y  || Y  ||    || Y  ||    ||  Y  ||    ||    ||   ||     ||    ||    || #30    || remove operator fixity resolution from the context-free grammar 
    86 ||    ||  M  || N  ||    ||    ||    ||    || Y  ||    ||    || N  ||  N  ||    ||   ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures 
     86||    || M  || N  ||    ||    ||    ||    || Y  ||    ||    || N  ||  N  ||    ||   ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures 
    8787||    ||    || Y  ||    ||    ||    ||    || M  || Y  ||    ||    ||     ||    ||    ||   ||     ||  Y ||    || #21    || improve defaulting rules 
    88 ||    ||  N  || N  ||    ||    || N  || N  || M  ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #92    || add First Class Labels 
    89 ||    ||  N  || N  ||    ||    ||    || N  || N  ||    || N  || Y  ||  N  ||    ||   ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum 
    90 ||    ||  N  || N  ||    ||    ||    || N  || N  || N  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system 
    91 ||    ||  M  ||    ||    ||    ||    || M  || Y  ||    ||    ||    ||  M   ||    ||   ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction 
    92 ||    ||  M  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||   Y  ||    || A  || #78    || Add infix type constructors 
     88||    || N  || N  ||    ||    || N  || N  || M  ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #92    || add First Class Labels 
     89||    || N  || N  ||    ||    ||    || N  || N  ||    || N  || Y  ||  N  ||    ||   ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum 
     90||    || N  || N  ||    ||    ||    || N  || N  || N  || N  || N  ||  N  ||    ||   ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system 
     91||    || M  ||    ||    ||    ||    || M  || Y  ||    ||    ||    ||  M  ||    ||   ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction 
     92||    || M  || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  ||    ||  Y  || Y  ||   || Y  ||  Y  ||    || A  || #78    || Add infix type constructors 
    9393|| N  ||    || Y  ||    || N  || N  || N  || N  || Y  || N  || N  ||  Y  ||    ||    ||   ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level 
    9494||    ||    || Y  ||    ||    ||    ||    || Y  || Y  || Y  || Y  ||  Y  ||    ||    ||   ||     ||    ||  Y || #81    || scoping of type variables in class instances 
    9595|| Y* ||    || M  ||    ||    ||    || M  || M  ||    || M  ||    ||  M  ||    ||    ||   ||     ||    ||  M || #88    || unified and extensible annotations 
    96 ||    ||    || N  ||    || M  ||    || N  || N  ||    || M  || N  ||   N  ||    ||    ||   ||   M  ||  N ||  N || #19    || control export and import of class instances 
     96||    ||    || N  ||    || M  ||    || N  || N  ||    || M  || N  ||  N  ||    ||    ||   ||  M  ||  N ||  N || #19    || control export and import of class instances 
    9797||    ||    || Y  ||    ||    ||    || Y  || Y  ||    || Y  ||    ||  Y  ||    ||    ||   ||     ||    ||  Y  || #17    || relax restriction on signatures of class methods 
    98 || Y* ||    || N  ||    || Y  || Y  || N  ||    || Y  || N  || N  ||     ||    ||    ||   ||  Y   ||    ||  Y || #68    || Eliminate tabs 
    99 ||    ||  N  || Y  ||    || N  || N  || N  || Y  || Y  || Y  || N  ||     ||    ||   ||    ||     ||  N ||    || #64    || add recursive do syntax 
    100 ||    ||  M  || M  ||    ||    || Y  || N  || N* || N  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  N ||    || #37    || add GADTs 
    101 ||    ||  N  || N  ||    || N  || N  || N  || N  || Y  || Y* || N  ||  M  || N  ||   ||    ||  Y   ||  N ||  M || #73    || add views 
    102 ||    ||  N  || N  ||  Y ||    || M  ||    ||    || N  || N  ||    ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    103 ||    ||  N  || N  ||    ||    ||    ||    || N  || N  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
    104 || N  ||  N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||  N  || N  ||   || N  ||     ||  N ||  N  || #43    || add Linear implicit params 
    105 || M  ||  M  || N  ||    ||    || N  || N  ||    || Y  || Y  ||    ||  M  || N  ||   ||    ||   M  ||  M ||  YM  || #36    || add FunctionalDependencies 
    106 || Y  ||  N  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||   ||    ||  N   ||  Y ||  Y || #77    || add MultiWayIf 
    107 ||    ||  N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||   || Y  ||     ||    ||  N || #69    || allow tuple sections 
    108 || N  ||  N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||     || N  ||   ||    ||  N   ||  N ||  N || #38    || add implicit parameters 
    109 || M  ||  M  || N  ||    ||    || N  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N  || #14    || add Associated Types 
    110 || N  ||  M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||   ||    ||  N   ||  N ||    || #13    || add Arrows 
    111 || N  ||    || N  ||    || N  || N  || N  || Y*  ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #18    || add closed classes 
     98|| Y* ||    || N  ||    || Y  || Y  || N  ||    || Y  || N  || N  ||     ||    ||    ||   ||  Y  ||    ||  Y || #68    || Eliminate tabs 
     99||    || N  || Y  ||    || N  || N  || N  || Y  || Y  || Y  || N  ||     ||    ||   ||    ||     ||  N ||    || #64    || add recursive do syntax 
     100||    || M  || M  ||    ||    || Y  || N  || N* || N  || Y  || N  ||  Y  ||    ||   || Y  ||     ||  N ||    || #37    || add GADTs 
     101||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || N  ||  M  || N  ||   ||    ||  Y  ||  N ||  M || #73    || add views 
     102||    || N  || N  ||  Y ||    || M  ||    ||    || N  || N  ||    ||  N  ||    ||   ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
     103||    || N  || N  ||    ||    ||    ||    || N  || N  || M  || N  ||  Y  ||    ||   ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
     104|| N  || N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||  N  || N  ||   || N  ||     ||  N ||  N  || #43    || add Linear implicit params 
     105|| M  || M  || N  ||    ||    || N  || N  ||    || Y  || Y  ||    ||  M  || N  ||   ||    ||  M  ||  M ||  YM  || #36    || add FunctionalDependencies 
     106|| Y  || N  || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||   ||    ||  N  ||  Y ||  Y || #77    || add MultiWayIf 
     107||    || N  || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    ||   || Y  ||     ||    ||  N || #69    || allow tuple sections 
     108|| N  || N  || N  ||    || N  || N  || N  || N  || N  || N  || N  ||     || N  ||   ||    ||  N  ||  N ||  N || #38    || add implicit parameters 
     109|| M  || M  || N  ||    ||    || N  || N  || M  || M  || N  ||    ||  M  || N  ||   ||    ||     ||    ||  N  || #14    || add Associated Types 
     110|| N  || M  || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||   ||    ||  N  ||  N ||    || #13    || add Arrows 
     111|| N  ||    || N  ||    || N  || N  || N  || Y* ||    || N  || N  ||  N  ||    ||   ||    ||     ||    ||  N || #18    || add closed classes 
    112112||    ||    || Y  ||    || Y  || Y  || Y  || Y  || Y  || Y  || N  ||  Y  || Y  ||  || Y   ||    ||    ||  A || #84    || Kind Annotations 
    113 ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||   N  ||    ||  ||     ||    ||    ||    || #101    || Class aliases 
    114 ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||   Y  ||    ||  ||     ||    ||    ||  Y  || #103    || MonomorphicPatternBindings 
     113||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||  N  ||    ||  ||     ||    ||    ||    || #101    || Class aliases 
     114||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||  Y  ||    ||  ||     ||    ||    ||  Y  || #103    || MonomorphicPatternBindings 
    115115---- 
    116116Member key: