Ну вот например. Если в ООП: Есть бизнес задача. Первое, что

Question

Ну вот например. Если в ООП: Есть бизнес задача. Первое, что

я делаю - это задаюсь вопросом: "Что оно должно делать?", и отвечаю на этот вопрос интерфейсом, где описаны все необходимые мне сигнатуры, которые потом уже конкретно реализую
Но в ФП мне не понятно. Я не могу просто задать сигнатуру, а я должен... Уже определить какую-то базовую логику, соединяя ею что-то более мелкое?... (сам не понимаю, что говорю)

Ну например:
// C#
class User
{
public Guid Id { get; set; }
...
}
interface IUserRepository
{
User? GetById(Guid id);
}
class DapperUserRepository : IUserRepository
{ /* ну и реализуем */ }

Это всё понятно, и естественно. А что у нас в F# ?

// F#
type User =
{
Id: Guid // можно было бы и single DU
}

module UserRepository = // ?... правильное ли название для модуля?
let getById id =
// и уже тут я обязан что-то определить, но что? Как? Не понимаю