gadts1.scala:20: error: Test.Cell[a] does not take parameters
    case Cell[a](x: Int) => c.x = 5
                ^
gadts1.scala:20: error: type mismatch;
 found   : Int(5)
 required: a
    case Cell[a](x: Int) => c.x = 5
                                  ^
two errors found