Is Functor.Const.map defined incorrectly?

Stream: new members

[Matt Diamond]

I was looking at docs#Functor.Const.map and noticed that it's defined as (α → β) → F β → F α, whereas I would've expected it to be defined as (α → β) → F α → F β. Am I missing some subtlety here or is this a typo?

(I realize this may not matter since Const α β = α, but it still looks kinda weird. Perhaps this is more of an aesthetic complaint.)

[Aaron Liu]

oh yeah that's definitely wrong