env where
obtain :: env -> field
grab ::
forall field env m. (MonadReader env m, Has field env)
=> m field
grab = asks $ obtain @field
Почему бы не использовать HasField
Обсуждают сегодня