blob: 611f874a561e0bcec4d001e49e9ce647874b28cc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{-# LANGUAGE TypeFamilies #-}
module CommentsDataInstanceDeriving where
-- | Comment on the U data family
data family U a
-- | Comment on the U () data instance
data instance U () = UUnit
deriving ( Eq -- ^ Comment on the derived Eq (U ()) instance
, Ord -- ^ Comment on the derived Ord (U ()) instance
, Show -- ^ Comment on the derived Show (U ()) instance
)
|
