:load test/types-tydef-param/types-tydef-param.disco
t
sumTree t
alt1
sumAltList alt1
:def Maybe
:def Tree
:def AltList