4:1-2 TFunction "g"
4:4-11 TDataConstructor "Nothing"