How to make these dynamically typed functions type-safe? [closed]

Answer 1

I found a Haskell solution for #1 using Rank-N-Types (just for GHCi)

{-# LANGUAGE RankNTypes #-}
apply :: (forall a . a -> r) -> r
apply x = x x

apply $ const 42 -- Yields 42