--                         <$> areq boolField (fromString $ show t) Nothing

prologInquireBoolWidget ::  CCState -> CCNode -> Widget -> Enctype -> Widget
prologInquireBoolWidget st node formWidget _enctype = do
  uid <- handlerToWidget $ getUserAccountId

  [whamlet| ^{breadcrumbWidget st}
            <form action=@{PrologExecuteTestContR node} method="GET">
              ^{formWidget}
              <button type="submit" value="Submit">Submit</button>
  |]
prologInquireBoolWidget ::  CCState -> CCNode -> Widget -> Enctype -> Widget
prologInquireBoolWidget st node formWidget _enctype = do
  uid <- handlerToWidget $ getUserAccountId

  [whamlet| ^{breadcrumbWidget st}
            <form action=@{PrologExecuteTestContR node} method="GET">
              ^{formWidget}
              <button type="submit" value="Submit">Submit</button>
  |]
prologInquireBoolWidget st node formWidget _enctype = do
  uid <- handlerToWidget $ getUserAccountId

  [whamlet| ^{breadcrumbWidget st}
            <form action=@{PrologExecuteTestContR node} method="GET">
              ^{formWidget}
              <button type="submit" value="Submit">Submit</button>
  |]