给定以下OOP风格的示例代码，在纯函数风格（例如Haskell）中获得此行为的好方法是什么

class P{
  private A a;
  private B b;
 
  public P(A a'){
     this.a=a';
     this.b=null;
  }
 
 public P(B b'){
     this.a = null;
     this.b = b';
 }

 public A getA(){ 
    if(this.a==null){
       //code to calculate a from b
       this.a = result;
    }
   return this.a
 } 

 public B getB(){ 
    if(this.b==null){
       //code to calculate b from a
       this.b = result;
    }
   return this.b
 } }

有两个字段a和b，在构造对象时，我通常只能访问其中一个，但另一个可以从另一个计算。一个简单的示例是定义为一列点的船体或一列线的交点的面从a计算b和从a计算b的开销可能相当大，因此我不想在创建对象时立即进行计算，而是等到实际需要时再进行计算。
我的一个想法是有一个记录类型

data P = {a:: Maybe A, b:: Maybe B} 

makePA :: A -> P 
-- ...

makePB :: B -> P 
-- ...

其中两个makeP从A或B创建一个P。然后，每当我实际需要其中一个字段时，我可以创建一个get函数，类似于上面的函数，如果需要，它将计算该字段，然后返回两个字段都不再是Nothing的新记录。但这似乎过于笨拙，因为创建P需要进行一些计算（例如计算点的船体）并且因此不能像通常那样仅仅创建记录。此外，我必须通过调用get函数来将P的每次使用封装在其他函数中，我仍然需要确保它是Just A而不是Nothing，因为类型是Maybe A。
有没有更好的办法来解决这个问题？