module test import Data.GenCons import Data.Maybe import StdArray :: T =: T Int derive class gCons T derive bimap [] //Start :: (Maybe (Int, Int)) //Start = consByName "_Tuple2" // Start = consName{|*|} ss ss :: {Int} ss = {}