blob: 25ed2acb83e20a5335b92dfd49d456642185c3b5 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# LANGUAGE GADTs #-}
module Hi where
data Hi where
Hi :: () -- ^ This is a comment on the '()' field of 'Hi'
-> Int
-> String -- ^ This is a comment on the 'String' field of 'Hi'
-> Hi -- ^ This is a comment on the return type of 'Hi'
|