pureIf @Maybe True 5 == Just 5 pureIf @Maybe False 5 == Nothing pureIf @[] True 5 == [5] pureIf @[] False 5 == []