如何在“数据”中正确展开“数据”?

我正在尝试访问嵌套数据( Foo.y 在…内 Bar 在下面的示例中),但展开的直接方法 Foo 在…内 酒吧 想到的都不管用。但是如何正确地展开它呢?

这里是我的数据:

module Foo where

import Prelude

data Foo = Foo { y :: Int }

data Bar = Bar { x   :: Int
               , foo :: Foo }

以下(当然)无法编译,错误是 Could not match type { y :: Int } with type Foo 就像 酒吧 , Foo公司 需要先展开:

fn1 :: Bar -> Int
fn1 (Bar { x, foo }) = x + foo.y

所以我对下面的内容抱有希望,但唉,编译器说不行(括号中 Foo公司 构造函数没有帮助):

fn2 :: Bar -> Int
fn2 (Bar { x, Foo { y } }) = x + y

fn3 :: Bar -> Int
fn3 (Bar { x, Foo f }) = x + f.y

下面的方法有效,使用helper函数进行展开,但必须有更好的方法:

getY (Foo foo) = foo -- helper function

fn4 :: Bar -> Int
fn4 (Bar { x, foo }) = let foo2 = getY foo in
                       x + foo2.y

那么,如何进行嵌套展开?

[编辑]

经过一两个小时的尝试,我想出了一个有效的方法:

fn5 :: Bar -> Int
fn5 (Bar { x, foo = (Foo f) }) = x + f.y

这是惯用的做法吗?为什么不呢 fn2 和 fn3 工作