T17a.hs:8:1: warning: [-Wunused-top-binds (in -Wextra, -Wunused-binds)]
    Defined but not used: ‘top’