AGDA_FAILURE

ret > ExitFailure 42
out > Forcing analysis for Issue3898.FSet.sg
out >   xs          = [2,1]
out >   forcedArgs  = [NotForced]
out >
out > Unsolved interaction metas at the following locations:
out >   Issue3898.agda:16,10-14
out >
