blob: aadbf236d882975070ffc8681ab2fe65d3e013b4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
module FunArgs where
f :: forall a. Ord a
=> Int -- ^ First argument
-> a -- ^ Second argument
-> Bool -- ^ Third argument
-> (a -> a) -- ^ Fourth argument
-> () -- ^ Result
f = undefined
|