options
::
[[
Int
]]
options
=
go
7
where
go
0
=
[]
go
n
=
do
x
<-
[
0
,
1
,
2
]
pure
(
x
:
(
go
(
n
-
1
)))