I have the following code snippet, which kinda works:
launchTask :: (DeviceRepo m) => TaskSpec -> m (Maybe Task) launchTask taskSpec@TaskSpec { taskSpec