when fetching a value, it always ends up in WHNF
when fetching a value, it always ends up in WHNF
hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,shinnya/jhc-mirror,shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc