параметрический полиморфизм везде понимают

Если бы (

c типопеременными пардон*

может, с приходом завтипов можно будет превратить forall в подобие Type ->, и тогда Typeable будет работать с полиморфными функциями

если функция известна статически, то можно спросить у компилятора через TH

> $(lift . show =<< reify '(:))
DataConI GHC.Types.:
    ( ForallT [ KindedTV a_3530822107858468865 StarT ] []
        ( AppT
            ( AppT ArrowT ( VarT a_3530822107858468865 ) )
            ( AppT
                ( AppT ArrowT
                    ( AppT ListT ( VarT a_3530822107858468865 ) )
                )
                ( AppT ListT ( VarT a_3530822107858468865 ) )
            )
        )
    ) GHC.Types.[]

может, если вы расскажете, для чего вам это нужно, удастся найти более простое решение

Я хочу для такого типа
newtype StrId a = StrId { runId :: a }
написать fmap (и <*>), который будет вычислять
fmap f (StrId a) = StrId (f $! a), если для переданной функции
f :: a -> ... -> b,  a не совпадает c b
и fmap f (StrId a) = StrId (f a) в противном

думал это можно c Typeable сделать, но он не работает с типопараметрами

а это зачем? это тоже выглядит как неправильное решение какой-то другой задачи

у хаскеля очень специфичный чекер равенства на тайп-левеле, так что например сказать, являются ли a и [a] разными типами, он не сможет, если a предварительно не привести к чему-то более конкретному

так что тут только нумеровать переменные как по моей ссылке вверху

но возможно это XY проблема

ну или что-то эквивалетное, но неизбежно с инкогенертными инстансами

Похоже, такое можно просто с тайпклассами сделать

я пробовал использовать код по ссылке выше с
fmap f (StrId a) = if matchesLast (polyTypeOf f) then StrId (f a) else StrId (f $! a)

matchesLast :: PolyType -> Bool
matchesLast (Forall _ nst) = last ft == head ft
   where
         ft = flattenArrows nst
         flattenArrows ((Arrow :$ x) :$ xs) = x : flattenArrows xs
         flattenArrows last = [last]
matchesLast _ = False

но при вызове polyTypeOf f
Couldn't match type ‘b’ with ‘Polies.Var 1’
       arising from a use of ‘polyTypeOf’
     ‘b’ is a rigid type variable bound by
       the type signature for:
         fmap :: forall a b. (a -> b) -> StrId a -> StrId b

впрочем я уже понял, что так врядли получится сделать. во всяком случае с моими неглубокими познаниями в хаскеле

скорее всего так и есть, попробую по-другому

на инстанс Functor нельзя навешивать дополнительные ограничения. скорее всего, на этом сломается

Его можно навесить на конструктор

А стоп

Ну да, f же снаружи прихожит