1 2 3 4 5
==================== Parser ==================== module Hi where <document comment> data Hi where This is a GADT constructor. Hi :: () -> Hi