newtype Func a b
A newtype over normal function (->), which guarantees stack safety. It's safe for use in FFI code, as representation of underlying function is not changed.
NOTE: Stack safety applies to composition only! It does not make a function, that is not stack-safe, safe.
Func (a -> b)