efbffcd12dfc ^
1 2 3 4 5 6
module Main where import OpenlabTools qualified main :: IO () main = OpenlabTools.main